:vgicd:more registers implemented, still incomplete
Merge branch 'v1-vgicd' of https://github.com/simonkim/khypervisor into v1-vgicd