News item for Genode 14.05
doc: markup-fix in doc/porting_guide.txt