[PATCH v3 3/7] x86: Move work-around out of cpu_jump_to_64bit_uboot()