diff --git a/makedist/makedist.sh b/makedist/makedist.sh
index cb31ede..df6c853 100755
--- a/makedist/makedist.sh
+++ b/makedist/makedist.sh
@@ -118,7 +118,7 @@ TARGETDIR=$TARGETSDIR/$MAKEDIST_TARGET
 MOUNTDIR=$LOCALSTATEDIR/root.tmp
 # Auxiliary mountdir
 MOUNTDIR2=$LOCALSTATEDIR/root2.tmp
-MOUNTDIR_TMPFS_SIZE=8G
+MOUNTDIR_TMPFS_SIZE=10G
 
 [ -d $MOUNTDIR ] && rm -rf $MOUNTDIR
 mkdir -p $MOUNTDIR
@@ -211,7 +211,10 @@ if [ ! "$KERNEL_IGNORE" ]; then
    fi
    echo "
 KERNEL_PLATFORM=${KERNEL_PLATFORM}
-KERNEL_EXTRAVER=${KERNEL_EXTRAVER}" >> /var/makedist/.defs.inc
+KERNEL_EXTRAVER=${KERNEL_EXTRAVER}
+KERNEL_VER=${KERNEL_VER}
+KERNEL_MAJVER=${KERNEL_MAJVER}" >> /var/makedist/.defs.inc
+
    if [ "$KERNEL_MORE_EXTRAVER" ]; then
       echo "KERNEL_MORE_EXTRAVER=${KERNEL_MORE_EXTRAVER}" >> /var/makedist/.defs.inc
    fi