porting linux kernel to a new arm platform