A module that modifies grub under ubuntu 12.04