[PATCH] ARM SMP: Mark device mappings as "device" in ARMv6 parlance

ARMv6 introduces memory types into the page tables.  Mark devices
mappings with the "shared device" memory type.

Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>