Remove the arch-specific ARM-centric __DSB() macro and use the new barrier API instead. Signed-off-by: Carlo Caione <ccaione@baylibre.com>