[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.
3. Added reset valeus of vgicd.