[coreboot] REPLY: INT 13H