[coreboot] x86 : Puzzles about reset code