modified gic dist interface address and cpu interface address for arndale board