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