Merge branch 'master' into distops

Merge branch 'master' into distops

capsend_broadcast() is broken because we don't have static value of
num_monitors anymore and getting num_monitors dynamically is non-trivial.

Conflicts:
	errors/errno.fugu
	if/intermon.if
	if/monitor.if
	if/monitor_blocking.if
	include/arch/arm/barrelfish/invocations_arch.h
	include/arch/x86_32/barrelfish/invocations_arch.h
	include/mdb/mdb_tree.h
	kernel/Hakefile
	kernel/arch/arm/syscall.c
	kernel/arch/armv7/irq.c
	kernel/arch/x86/start_aps.c
	kernel/arch/x86_64/syscall.c
	kernel/capabilities.c
	kernel/include/capabilities.h
	kernel/startup.c
	lib/barrelfish/init.c
	lib/barrelfish/spawn_client.c
	usr/kaluga/main.c
	usr/monitor/arch/armv7/boot.c
	usr/monitor/arch/x86/boot.c
	usr/monitor/boot.c
	usr/monitor/include/arch/arm/monitor_invocations.h
	usr/monitor/include/arch/x86_64/monitor_invocations.h
	usr/monitor/include/monitor.h
	usr/monitor/inter.c
	usr/monitor/monitor_server.c
	usr/spawnd/service.c
	usr/startd/main.c