loading guest linux : 1. linux uses uart1 (0x1c0a0000),
2. change kernel memory size (atags on context.c)
3. add memory map description (vmm.c)
4. enable kernel console using the kernel cmd, use earlyprintk (context.c)
5. disable gic timer injection due to guest linux does not handle gic timer irq 30 (tests_gic_timer.c)
arndale : add minimal linux configuration with submodule
Merge pull request #63 from joohyun0115/v1-linux

arndale : add minimal linux configuration with submodule
guest0:linux + guest1:bmguest.bin, guest context includes sctlr, sp_usr. uart/sp804 base addresses at bmguest: 0x1c090000 and 0x1c110000
Merge pull request #66 from simonkim/v1-linux

guest0:linux + guest1:bmguest.bin, guest context includes sctlr, sp_usr
rtsm linux: add minimal linux configuration with submodule
Loadlinux.c : the function that setups atags move loadlinux.c
1. loadlinux : move all the private macros and functions into loadlinux
2. add prefix - to private variable.
3. linux-rtsm submodule commit point to 7d1f9ae
Merge pull request #68 from in1004kyu/v1-linux

rtsm linux: add minimal linux configuration with submodule
arndale kernel patch : change kernel sdram address and uart port
Merge pull request #69 from joohyun0115/v1-linux

arndale kernel patch : change kernel sdram address and uart port
v1 : merge with v1-linux
Merge pull request #70 from in1004kyu/v1

merge with v1-linux