[coreboot] Convert Assembly JMP to C