Re: [coreboot] x86 : Puzzles about reset code