Added reset values of vgicd in order to fix kernel warning on android booting