Index: kernel/arch/amd64/src/asm.S
===================================================================
--- kernel/arch/amd64/src/asm.S	(revision 4fc93d5494fe531c5527e5641a67447f42cf2587)
+++ kernel/arch/amd64/src/asm.S	(revision 1772e6d8daa54fce8e571f38accabed8f8303558)
@@ -399,4 +399,5 @@
 	movq %rsp, %rdi
 	movabs $bad_rip_msg, %rsi
+	xorb %al, %al
 	callq fault_from_uspace
 	/* not reached */