Merge branch 'armv7_irq_debug'

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

diff --cc include/barrelfish/debug.h
Simple merge

diff --cc include/barrelfish/invocations.h
Simple merge

diff --cc kernel/arch/arm/exn.c
Simple merge

diff --cc kernel/arch/armv7/paging.c
Simple merge

diff --cc kernel/arch/armv7/syscall.c
Simple merge

diff --cc kernel/arch/x86_64/irq.c
Simple merge

diff --cc kernel/arch/x86_64/syscall.c
Simple merge

diff --cc lib/barrelfish/sys_debug.c
Simple merge

diff --cc platforms/Hakefile
Simple merge

diff --cc usr/kaluga/x86.c
Simple merge

diff --cc usr/monitor/monitor_rpc_server.c
Simple merge