[coreboot] Unsupported software interrupt #0x42