[PATCH v2 16/18] x86: Simplify cpu_jump_to_64bit_uboot()