KVM: x86: add paging gcc optimization