diff --git a/linux54-tkg/linux54-tkg-config/prepare b/linux54-tkg/linux54-tkg-config/prepare
index 88833ce..6286fe7 100644
--- a/linux54-tkg/linux54-tkg-config/prepare
+++ b/linux54-tkg/linux54-tkg-config/prepare
@@ -111,6 +111,7 @@ _tkg_srcprep() {
   echo "CONFIG_TP_SMAPI=m" >> ./.config
   echo "CONFIG_RAID6_USE_PREFER_GEN=y" >> ./.config
   echo "# CONFIG_NTP_PPS is not set" >> ./.config
+  echo "# CONFIG_X86_P6_NOP is not set" >> ./.config
   sed -i -e 's/CONFIG_CRYPTO_LZ4=m/CONFIG_CRYPTO_LZ4=y/' ./.config
   sed -i -e 's/CONFIG_CRYPTO_LZ4HC=m/CONFIG_CRYPTO_LZ4HC=y/' ./.config
   sed -i -e 's/CONFIG_LZ4_COMPRESS=m/CONFIG_LZ4_COMPRESS=y/' ./.config
diff --git a/linux57-tkg/linux57-tkg-config/prepare b/linux57-tkg/linux57-tkg-config/prepare
index c24304d..dca1c75 100644
--- a/linux57-tkg/linux57-tkg-config/prepare
+++ b/linux57-tkg/linux57-tkg-config/prepare
@@ -235,6 +235,7 @@ _tkg_srcprep() {
   sed -i -e 's/# CONFIG_CMDLINE_BOOL is not set/CONFIG_CMDLINE_BOOL=y/' ./.config
   echo "CONFIG_CMDLINE=\"${_custom_commandline}\"" >> ./.config
   echo "# CONFIG_CMDLINE_OVERRIDE is not set" >> ./.config
+  echo "# CONFIG_X86_P6_NOP is not set" >> ./.config
   if [ "$_noccache" != "true" ]; then 
     if { [ "$_distro" = "Arch" ] && pacman -Qq ccache &> /dev/null; } || { [ "$_distro" = "Ubuntu" ] && dpkg -l ccache > /dev/null; }; then
       sed -i -e 's/CONFIG_GCC_PLUGINS=y/# CONFIG_GCC_PLUGINS is not set/' ./.config
diff --git a/linux58-tkg/linux58-tkg-config/prepare b/linux58-tkg/linux58-tkg-config/prepare
index ff6e9a7..fa76d04 100644
--- a/linux58-tkg/linux58-tkg-config/prepare
+++ b/linux58-tkg/linux58-tkg-config/prepare
@@ -233,6 +233,7 @@ _tkg_srcprep() {
   sed -i -e 's/# CONFIG_CMDLINE_BOOL is not set/CONFIG_CMDLINE_BOOL=y/' ./.config
   echo "CONFIG_CMDLINE=\"${_custom_commandline}\"" >> ./.config
   echo "# CONFIG_CMDLINE_OVERRIDE is not set" >> ./.config
+  echo "# CONFIG_X86_P6_NOP is not set" >> ./.config
   if [ "$_noccache" != "true" ]; then
     if { [ "$_distro" = "Arch" ] && pacman -Qq ccache &> /dev/null; } || { [ "$_distro" = "Ubuntu" ] && dpkg -l ccache > /dev/null; }; then
       sed -i -e 's/CONFIG_GCC_PLUGINS=y/# CONFIG_GCC_PLUGINS is not set/' ./.config
diff --git a/linux59-rc-tkg/linux59-tkg-config/prepare b/linux59-rc-tkg/linux59-tkg-config/prepare
index ff58335..1764b5d 100644
--- a/linux59-rc-tkg/linux59-tkg-config/prepare
+++ b/linux59-rc-tkg/linux59-tkg-config/prepare
@@ -231,6 +231,7 @@ _tkg_srcprep() {
   sed -i -e 's/# CONFIG_CMDLINE_BOOL is not set/CONFIG_CMDLINE_BOOL=y/' ./.config
   echo "CONFIG_CMDLINE=\"${_custom_commandline}\"" >> ./.config
   echo "# CONFIG_CMDLINE_OVERRIDE is not set" >> ./.config
+  echo "# CONFIG_X86_P6_NOP is not set" >> ./.config
   if [ "$_noccache" != "true" ]; then 
     if { [ "$_distro" = "Arch" ] && pacman -Qq ccache &> /dev/null; } || { [ "$_distro" = "Ubuntu" ] && dpkg -l ccache > /dev/null; }; then
       sed -i -e 's/CONFIG_GCC_PLUGINS=y/# CONFIG_GCC_PLUGINS is not set/' ./.config