aarch64: mmu: distinguish between device and normal memory

we need to do that because load/store instructions
behave differently with Device-nGnRnE memory.

Signed-off-by: Claudio Fontana <claudio.fontana@huawei.com>
work in progress

Signed-off-by: Claudio Fontana <claudio.fontana@huawei.com>