vgicd:more registers implemented, still incomplete