irqchip/bcm2836: Use a more generic memory barrier call