VGIC save/restore for Linaro KVM Development

The VGIC is a vitualised view onto the hardware interrupt controller. Add support for saving and restoring the state when snapshotting a machine, including ensuring the machine is idle, only saving what is needed, restoring into a valid state, and being able to handle upgrades in the future.