arch/arm: Fix typo in atomic_fetch_add()

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
arch/arm: Update arch specific definitions

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
arch/arm/raspberry_pi: Update kernel launch arguments

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
arch/arm: Add paging code

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