[coreboot] Patch merged into coreboot/master: a074023 Fix address of IDT in real-mode entry