kesl/khypervisor — pull request #225 by kim6515516 (2014-09-22 11:15:11+00:00)
Title: [ARNDALE PATCH]  : Supporting android on arndale board

To do for supporting android os.
1. Fixed stage 2 address translation table .
2. Added interrupt mapping table .