Re: [coreboot] New patch to review for coreboot: bdab48d Fix address of IDT in real-mode entry