arm64: Update booting requirements for GICv3 in GICv2 mode