[PATCH 1/5] x86, fpu: introduce fpu_load_guest_fpstate()