/roms/skiboot/hw/ipmi/