[ARCH] ARM: fix VGIC_SET_LEVEL() macro for VGIC.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>