Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/arch/amd64/src/debugger.c	(revision 088cecc97a4e21cb1647840c41cee125f006a3b3)
@@ -293,5 +293,6 @@
 int cmd_del_breakpoint(cmd_arg_t *argv)
 {
-	if (argv->intval < 0 || argv->intval > BKPOINTS_MAX) {
+	unative_t bpno = argv->intval;
+	if (bpno > BKPOINTS_MAX) {
 		printf("Invalid breakpoint number.\n");
 		return 0;