Merge pull request #70 from in1004kyu/v1

merge with v1-linux
arndale : enable arndale linux support

platform specific contents(virq, device mapping) move to cfg_platform.h
, disable flood log message due to linux loading
Merge pull request #71 from joohyun0115/v1

arndale : enable arndale linux support
 rtos : enable ucos-ii for rtos guest
Merge pull request #72 from joohyun0115/v1

 rtos : enable ucos-ii for rtos guest
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.