diff --git a/boot.nix b/boot.nix
index 71d44c3..0d3e063 100644
--- a/boot.nix
+++ b/boot.nix
@@ -269,7 +269,7 @@ in {
       initrd.compressorArgs = [ "-T0" "-9" ];
 
       kernelPackages = with myLib.debug; let
-        baseKernel = cfg.kernel.package;
+        baseKernel = traceValWithPrefix "aviallon.boot.kernel.package" cfg.kernel.package;
         
         # Possible CFLAGS source : (myLib.optimizations.makeOptimizationFlags {}).CFLAGS
         kCflags = traceValWithPrefix "kCflags" (
diff --git a/desktop/general.nix b/desktop/general.nix
index 30620e7..167a4db 100644
--- a/desktop/general.nix
+++ b/desktop/general.nix
@@ -58,7 +58,7 @@ in {
     {
       aviallon.network.backend = mkDefault "NetworkManager";
 
-      aviallon.boot.kernel.package = pkgs.linuxKernel.kernels.linux_xanmod;
+      aviallon.boot.kernel.package = mkDefault pkgs.linuxKernel.kernels.linux_xanmod;
 
       # Enable the X11 windowing system.
       services.xserver.enable = true;