Re: [coreboot] Unsupported software interrupt #0x42