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