ARM: 7076/1: LPAE: Add (pte|pmd)val_t type definitions as u32