News item for Genode 14.02
Clarification in release notes 14.02

Thanks to Udo Steinberg for the notification.
base & x86: setup GOT pointer in crt0.s

This is normally needed in LDSO and was previously done by the LDSO specific crt0.s.
I forgot to keep it during the unification of the different crt0s.

fix #1077
ldso: Export HW system call interface

Fixes #1081
hw: disable assertions if release spec is set only

Fix #1071
hw: remove use of float in exynos timer (fix #713)
fiasco.oc: remove redundant atomic.h header

Fixes #565
base-hw: reenable failsafe run script (Fix #801)
hw: simplify Page_flags (fix #711)

Instead of using a special bitfield use a compound of boolean
values for the generic page attributes. To reduce copy overhead,
change the corresponding functions, where Page_flags are used as
arguments, to use references.