Update with changes to other commits in the stack

Encode VNCR values into enum hypctx_sysreg as 64-bit offsets

Handle non-VHE, store the vncr page as a pointer

Fix non-VHE omission

Fix omission

Use char* for ptr arithmetic

Address remaining style review comments

Use Static_assert to ensure correct struct hypctx size

Correct nVHE omission

Address review comments

Fix indentation

Fix indentation

Put potentially exotic registers in a separate array

Only separate out registers relevant for morello