Would you please tell me how Coreboot jumps to the label, protected_start in src/cpu/x86/32bit? There is a jump instruction (jmp protected_start) in reset16.inc but it seems it will never be executed.