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