Merge changes Ib0a2ce81,I5332fb52 into integration

* changes:
  plat/qemu: add cortex-a72 support to 'virt' platform
  plat/qemu: include gicv2.mk