Merge branch coreboot.

Merge branch coreboot.

Conflicts:
	errors/errno.fugu
	hake/menu.lst.x86_64
	hake/symbolic_targets.mk
	if/intermon.if
	include/barrelfish/domain.h
	include/barrelfish_kpi/dispatcher_shared.h
	include/barrelfish_kpi/init.h
	include/target/x86/barrelfish_kpi/coredata_target.h
	include/trace/trace.h
	kernel/Hakefile
	kernel/arch/arm_gem5/paging.c
	kernel/arch/armv7/syscall.c
	kernel/arch/omap44xx/paging.c
	kernel/arch/x86/init_ap_x86_64.S
	kernel/arch/x86/syscall.c
	kernel/arch/x86_32/start_aps.c
	kernel/arch/x86_64/irq.c
	kernel/capabilities.c
	kernel/dispatch.c
	kernel/include/arch/x86/start_aps.h
	kernel/include/serial.h
	kernel/schedule_rbed.c
	kernel/startup.c
	kernel/syscall.c
	lib/bomp/bf_backend.c
	lib/mdb/mdb_tree.c
	lib/nfs/rpc.c
	lib/posixcompat/inheritance.c
	lib/posixcompat/select.c
	lib/spawndomain/spawn.c
	tools/debug.sh
	usr/acpi/acpi_service.c
	usr/drivers/e1000/e1000n.c
	usr/kaluga/Hakefile
	usr/monitor/spawn.c
	usr/pci/pci.c
	usr/pci/pci.h
	usr/spawnd/bsp_bootup.c
	usr/spawnd/main.c
	usr/tests/nkm/modify_flags.c
	usr/tests/testdesc/testdesc.c