[ARNDALE PATCH] : To support android fixed stage 2 address translation table and added interrupt mapping table