Adding x86 PCD flag in mmu.h