[PATCH 2/6] x86: Move work-around out of cpu_jump_to_64bit_uboot()