since the GIC registers are device memory and the IPI data is
stored in normal memory, a simple dmb is insufficient to ensure
that the data will be visible to the IPI-receiving processor
prior to the IPI handler running
Change-Id: Idaddd9f225d00ebd3a8d656fa75c401323b80138 Signed-off-by: Gary King <gking@nvidia.com>