x86: EPT and KPT are contiguous