x86: Save guest PAT and EFER
x86: Save guest PAT and EFER

We already load our host PAT and EFER back out in case the guest
has changed it, this will allow for the guest to use its changed
version next time it is run

cmr/seL4,cmr/seL4,cmr/seL4