Re: [coreboot] x86 : Puzzles about init IDT