discover/platform-powerpc: read bootdev config from IPMI boot mailbox