Final touches of the release notes 14.05
News item for Genode 14.05
doc: markup-fix in doc/porting_guide.txt
tool: Sort patches when generating port hashes

Issue #1082
dde_linux: Remove bogus line from XHCI patch

This was a left over from the 'vi' editor
hw: make Processor_client::_processor protected

ref #1126
hw: turn Cortex_a9::Processor_driver into a class

ref #1126
hw & rpi: provide Pic::MAX_INTERRUPT_ID

ref #1126
hw & cortex_a9: do lazy FPU-context switch

ref #1126
base & cortex_a9: enable FPU

ref #1126
base: test for the pseudo-parallel use of an FPU

fix #1126