Re: [coreboot] Coreboot and INT13H