arch/arm: Add dsb() function for ARMv6 and ARMv7 devices.

Change-Id: If3e8ca21138352dc57860d39000dbf93c6406b7d
1 file changed