[PATCH v3 15/17] x86: Simplify cpu_jump_to_64bit_uboot()