Merge pull request #60 from Wonseok/v1-virq

[v1-virq] added virqmap and sp804_timer test code on the guest, and monitor side only to enable PIRQ(34) for sp804
Experimental VGICD and VIRQ Forwarding integration in test_vdev_sample.c. Guest configures sp804, it's irq and irq handler while hyp does not touch anything about sp804.\n BUGFIX: hyp saves guest's lr register that's shared with hyp mode