Re: [PATCH] Build in IPMI on x86