porting samsung serial and modified gic interface address for arndale board