arm64: KVM: Move most of the fault decoding to C