porting memory map and generic timer