replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Remove invoke_frame_identify, replaced with frame_identify().

This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

libbarrelfish,memobj_append: update to frame id with bytes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Fix offset calculation in memobj append

Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>

Implement binary search in memobj_append protect.

Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>

T80: implement "append-only" memobj and use for sbrk().

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>