Igen, nekem ez kellett volna, hogy írd be a /etc/default/grub -ba mem címét és a maszkot. Így:
GRUB_BADRAM="0x7DDF0000,0xffffc000"
Ha lenne fizetős HUP segítség, lehet fizetnék csak ne kellett volna egész hétvégén gugliznom, meg 6x szétesett az egész GRUB mert rossz helyre raktam egy Enter-t.