enable the OpenIPMI interface for them as well. Tested by myself on both arm64 and powerpc64 hardware ok sthen@