Some Aarch64 system registers not available via the debugger