Install x86.h to help interpret Intel specific paging flags when inspecting the paging structures