Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision c089919e0f883c8edc9b80ced1b7e12813aaff1e)
+++ kernel/arch/amd64/src/debugger.c	(revision 923c39ef88449c3bf5f20c07c2f7976b7c01ec22)
@@ -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;