Index: contrib/arch/kernel/kernel.adl
===================================================================
--- contrib/arch/kernel/kernel.adl	(revision ea5f46d1766b374ee3bb1b470e3f08c441077c0b)
+++ contrib/arch/kernel/kernel.adl	(revision ee5b35ae379e113674cdd8fd1e5e1ba75d7ef2b6)
@@ -12,8 +12,8 @@
 interface kernel_console {
 		/* Enable kernel console */
-		uintptr_t sys_debug_enable_console(void);
+		unative_t sys_debug_enable_console(void);
 		
 		/* Disable kernel console */
-		uintptr_t sys_debug_disable_console(void);
+		unative_t sys_debug_disable_console(void);
 	protocol:
 		?sys_debug_enable_console +