diff --git a/Makefile.defs b/Makefile.defs
index 16c19e6..7dced49 100644
--- a/Makefile.defs
+++ b/Makefile.defs
@@ -5,10 +5,10 @@ libpthread.so.0 = glibc
 
 # kernel
 kernelnvidia = kernel-$(KERNEL_EXTRAVER)-nongpl-nvidia
-# kernel-$(KERNEL_EXTRAVER)-nongpl-nvidia_71xx kernel-$(KERNEL_EXTRAVER)-nongpl-nvidia_96xx
+# kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_71xx kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_96xx
 kernelsound = kernel-$(KERNEL_EXTRAVER)-sound-backport
 kernelwireless = kernel-$(KERNEL_EXTRAVER)-wireless kernel-$(KERNEL_EXTRAVER)-nongpl-wl kernel-$(KERNEL_EXTRAVER)-rtl8192se
-# kernel-$(KERNEL_EXTRAVER)-atl1e
+# kernel-$(KERNEL_MORE_EXTRAVER)-atl1e
 kernelfglrx = kernel-$(KERNEL_EXTRAVER)-nongpl-fglrx
 kernelslmodem = kernel-$(KERNEL_EXTRAVER)-nongpl-softmodems
 kernelhsfmodem = kernel-$(KERNEL_EXTRAVER)-nongpl-softmodems
@@ -21,6 +21,26 @@ kernelndiswrapper = kernel-$(KERNEL_EXTRAVER)-ndiswrapper
 kernellirc = kernel-$(KERNEL_EXTRAVER)-lirc
 kernelvboxvideo = kernel-$(KERNEL_EXTRAVER)-vboxvideo
 
+ifdef KERNEL_MORE_EXTRAVER
+# extra kernel (FIXME: only supports single extra kernel)
+kernelnvidia += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia
+# kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_71xx kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_96xx
+kernelsound += kernel-$(KERNEL_MORE_EXTRAVER)-sound-backport
+kernelwireless += kernel-$(KERNEL_MORE_EXTRAVER)-wireless kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-wl kernel-$(KERNEL_MORE_EXTRAVER)-rtl8192se
+# kernel-$(KERNEL_MORE_EXTRAVER)-atl1e
+kernelfglrx += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-fglrx
+kernelslmodem += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-softmodems
+kernelhsfmodem += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-softmodems
+kernelvboxdrv += kernel-$(KERNEL_MORE_EXTRAVER)-vboxdrv
+kernelnvidia += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia
+kernelnvidia_173xx += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_173xx
+kernelnvidia_71xx += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_71xx
+kernelnvidia_96xx += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_96xx
+kernelndiswrapper += kernel-$(KERNEL_MORE_EXTRAVER)-ndiswrapper
+kernellirc += kernel-$(KERNEL_MORE_EXTRAVER)-lirc
+kernelvboxvideo += kernel-$(KERNEL_MORE_EXTRAVER)-vboxvideo
+endif
+
 # xorg
 xorglibGL = libGL-Mesa-dri libGL-fglrx-X11 libGL-nvidia-X11
 # libGL-nvidia_71xx-X11 libGL-nvidia_96xx-X11 libGL-nvidia_173xx-X11