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
hw: move double list to extra header

ref #1139
hw: fix type casting in Double_list

ref #1139
hw: implement Double_list::for_each

ref #1139
hw: TLB flushes via Kernel::Processor_broadcast

ref #1139
hw: make boot_modules.s generic

ref #1139
hw: make build_boot_image in run/env generic

ref #1139
base: extra section for binaries of boot modules

This enables us to map the binaries of the boot modules on demand at least in
base-hw.

ref #1139
hw: map binaries of boot modules on demand

fix #1139
hw: align kernel stack appropriately

ref #1144