In the meantime, I have erased the contents of my EFI parition and reinstalled grub to it. Now, my computer boots fine again, also with 3.8.0-12-generic.
In the meantime, I have erased the contents of my EFI parition and reinstalled grub to it. Now, my computer boots fine again, also with 3.8.0-12-generic.