Merge pull request #71 from joohyun0115/v1

arndale : enable arndale linux support
Merge pull request #72 from joohyun0115/v1

 rtos : enable ucos-ii for rtos guest
Loading zImage from flash on ARNDALE
virtual timer by injection irq enabler is now supported
- in guest, call vtimer_mask(0) -> guest now accept generic timer injection irq
vtimer_mask(1) -> guest now do not accept generic timer injection irq
bug fix : end of irq message occur at guest. now fix them by vtimer_maks(). bmguest's gic initialization must call before injection irq.
rtos : rtos can enable/disable injection irq
Merge pull request #74 from in1004kyu/v1

virtual timer by injection irq enabler is now supported
Merge pull request #73 from Wonseok/v1

Loading linux from flash on ARNDALE