diff --git a/kernel/Makefile b/kernel/Makefile
index dbc3ccb7d..89c336c55 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -71,7 +71,7 @@ endif
 
 KERNEL_VERSIONS=
 
-.PHONY: check build push
+.PHONY: fetch build push
 # Targets:
 # fetch: Downloads the kernel sources into ./sources
 # build: Builds all kernels