Replace hex flags with human-readable symbols from arm-gic.h header
which makes it easier to recognize what is configured.
Signed-off-by: NKrzysztof Kozlowski <k.kozlowski@samsung.com>