AArch64: implement GICv3 system registers