Custom kernel config is not taken by guix

[eisbaer]

Hello,
I'm having problems compiling the linux-libre kernel with a custom config. I'm 
aiming at enabeling the debug info.
The problem I am troubled with is that the configuration I am telling guix to 
use in my /etc/config.scm (guix system reconfigure /etc/config.scm) is not 
taken by guix for compiling the kernel. Instead some other configuration file 
is used wich hasn't the options set I want it to have. The config file I want 
to use is in the same folder as the /etc/config.scm and is named debug_config2. 
I am checking /proc/config.gz if the options I changed in debug_config2 are 
changed and they are not.

greetings :)

================================
/etc/config.scm
================================
;; Diese Betriebssystemkonfiguration wurde vom                                  
                                                                               
;; grafischen Installationsprogramm erzeugt.                                    
                                                                               
;;                                                                              
                                                                               
;; Sobald die Installation abgeschlossen ist, kann man die                      
                                                                               
;; Systemkonfiguration einsehen, verstehen und modifizieren. Übergeben          
                                                                               
;; Sie die modifizierte Systemkonfiguration an den Befehl                       
                                                                               
;; 'guix system reconfigure', damit die Veränderungen wirksam werden.           
                                                                               


;; Gibt an, welche Module importiert werden müssen, um auf die                  
                                                                               
;; benutzten Variablen dieser Konfiguration zugreifen zu können.                
                                                                               
(use-modules (gnu)
             (gnu packages linux))
(use-service-modules cups desktop networking ssh xorg)


;(define %custom-linux-config                                                   
                                                                               
;  (append `(("CONFIG_DEBUG_INFO" . #t))                                        
                                                                               
;         (@@ (gnu packages linux) %default-extra-linux-options)))              
                                                                               

;(define linux-libre-debug                                                      
                                                                               
;  ((@@ (gnu packages linux) make-linux-libre*)                                 
                                                                               
;   (@@ (gnu packages linux) linux-libre-version)                               
                                                                               
;   (@@ (gnu packages linux) linux-libre-gnu-revision)                          
                                                                               
;   (@@ (gnu packages linux) linux-libre-source)                                
                                                                               
;   '("x86_64-linux")                                                           
                                                                               
;   #:extra-version "debug"                                                     
                                                                               
;   #:extra-options %custom-linux-config))                                      
                                                                               

(use-modules (guix packages)
             (gnu)
             (gnu packages linux)
             (srfi srfi-1))

(define-public linux-libreDEBUG
  (package
   (inherit linux-libre)
   (name "linux-libreDEBUG")
   (native-inputs
    `(("kconfig" ,(local-file "debug_config2"))
      ,@(alist-delete "kconfig"
                      (package-native-inputs linux-libre))))


    ))


(operating-system
  (locale "de_DE.utf8")
  (timezone "Europe/Berlin")
  (keyboard-layout (keyboard-layout "de"))
  (host-name "guix-test")

  (kernel linux-libreDEBUG)
  ;(kernel linux-libre)                                                         
                                                                               

  ;; Die Liste der Benutzerkonten ('root' ist mit eingeschlossen).              
                                                                               
  (users (cons* (user-account
                  (name "user")
                  (comment "User")
                  (group "users")
                  (home-directory "/home/user")
                  (supplementary-groups '("wheel" "netdev" "audio" "video")))
                %base-user-accounts))

  ;; Packages installed system-wide.  Users can also install packages           
                                                                               
  ;; under their own account: use 'guix search KEYWORD' to search               
                                                                               
  ;; for packages and 'guix install PACKAGE' to install a package.              
                                                                               
  (packages (append (list (specification->package "nss-certs"))
                    %base-packages))

  ;; Unterhalb ist die Liste von Systemdiensten. Um nach verfügbaren            
                                                                               
  ;; Systemdiensten zu suchen, führen Sie den Befehl                            
                                                                               
  ;; 'guix system search SCHLÜSSELWORT' in einem Terminal aus.                  
                                                                               
  (services
   (append (list

                 ;; Zum Konfigurieren des "OpenSSH"-Dienstes muss unterhalb ein 
      
                 ;; 'openssh-configuration'-Verbundsobjekt als zweites Argument 
                                                                               
                 ;; für 'service' angegeben werden.                             
                                                                               
                 (service openssh-service-type)
                 (service dhcp-client-service-type)
                 (service ntp-service-type))

           ;; Dies ist die Standardliste von Diensten, zu der wir               
                                                                               
           ;; Einträge hinzufügen.                                              
                                                                               
           %base-services))
  (bootloader (bootloader-configuration
                (bootloader grub-bootloader)
                (targets (list "/dev/sda"))
                (keyboard-layout keyboard-layout)))
  (swap-devices (list (swap-space
                        (target (uuid
                                 "abfd6b5f-c834-4bf4-9885-51573e9aad17")))))

  ;; Die Liste der Dateisysteme, die "eingehängt" werden. Die, zu den           
                                                                               
  ;; Dateisystemen einzigartigen, Identifikatoren ("UUIDs") können durch das    
                                                                               
  ;; Ausführen des Befehls "blkid" in einem Terminal erhalten werden.           
                                                                               
  (file-systems (cons* (file-system
                         (mount-point "/")
                         (device (uuid
                                  "740edb31-cd49-444d-b243-21699f9d76a3"
                                  'ext4))
                         (type "ext4")) %base-file-systems)))