hw: introduce ARM LPAE for cortex A15

This is a preliminary patch that adds support for the Large
Physical Address Space Extension for ARM v7. This patch currently breaks
non-CortexA15 plaforms for the HW kernel.