Comment 111 for bug 1093217

I have been following this bug since December 2012. I am having the same issues with ubuntu 12.04, 12.10, and 13.04 as well as Linux Mint 15.

Linux Mint 15 64-bit
Lenovo z580
Intel HD 4000
8GB Ram
750 HD

This is the bottom of my grub.cfg file
menuentry 'Linux Mint 15 Cinnamon 64-bit, 3.8.0-19-generic (/dev/sda2)' --class gnu-linux --class gnu --class os {
 recordfail
 gfxmode $linux_gfx_mode
 insmod gzio
 insmod part_gpt
 insmod ext2
 set root='hd0,gpt2'
 if [ x$feature_platform_search_hint = xy ]; then
   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 ae563e6e-39b4-4a03-8b28-f2e6c44f303b
 else
   search --no-floppy --fs-uuid --set=root ae563e6e-39b4-4a03-8b28-f2e6c44f303b
 fi
        acpi /boot/DSDT.aml
 linux /boot/vmlinuz-3.8.0-19-generic root=UUID=ae563e6e-39b4-4a03-8b28-f2e6c44f303b ro
 initrd /boot/initrd.img-3.8.0-19-generic
}

I decompiled and recompile the DSDT file however I do not understand how to input this into grub.cfg. Every time I save the file, it will reset on the next boot. I also experimented where to put "acpi /boot/DSDT.aml but have no luck. Can someone post where this line should fit in grub.cfg? I get a message saying do not edit this file because it is auto-generated.

#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub

So I tried going to /etc/default/grub and editing 40_custom with the same config as above, and booting from that, but still no luck.

Am I doing something wrong?

Thanks.
Matt