Servers based on OpenPOWER ship with OpenBMC (Linux kernel + standard userspace), and you can choose exactly what level of network stack you actually want on the box since you get full source and can modify at will (e.g. removing IPMI network support just means removing the package from the build). Try that with your typical closed source x86 or ARM BMC!