Default to non-user in all kernel pages now

This causes the user tasks to just PF, so we'll need to actually have a
real loader now.

src/kernel/interrupts.cpp

@@ -330,6 +330,7 @@ syscall_handler(addr_t return_rsp, cpu_state regs)
 	print_reg("rdi", regs.rdi);
 	print_reg("rsi", regs.rsi);
 
+	/*
 	cons->puts("\n");
 	print_reg(" r8", regs.r8);
 	print_reg(" r9", regs.r9);
@@ -339,6 +340,7 @@ syscall_handler(addr_t return_rsp, cpu_state regs)
 	print_reg("r13", regs.r13);
 	print_reg("r14", regs.r14);
 	print_reg("r15", regs.r15);
+	*/
 
 	cons->puts("\n");
 	print_reg("rbp", regs.rbp);

src/kernel/page_manager.h

@@ -163,7 +163,7 @@ private:
 			addr_t phys_addr,
 			addr_t virt_addr,
 			size_t count,
-			bool user = true);
+			bool user = false);
 
 	/// Low-level routine for unmapping a number of pages from the given page table.
 	/// \arg pml4       The root page table for this mapping