x86/fpu: Simplify copy_kernel_to_xregs_booting()