minc-moult: Use GICv3 for aarch64
minc-moult: Use GICv3 for aarch64

Since GICv3 is widely used in aarch64.

Signed-off-by: Masami Hiramatsu <c722459ed079dc74f5b0af068882bc5c41a907a2@linaro.org>

mhiramat/mincs