Update porting.rst