arch/arm: Update paging code

 * Fix data structures alignment
 * Add dsb() where appropriate
 * Use execute never bit

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
arch/arm: Remap peripherals MMIO

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>