Ooops, my bad. Apparently the 'pciehp_' part of the option got deleted during grub-menu update. Weird.
Ooops, my bad. Apparently the 'pciehp_' part of the option got deleted during grub-menu update. Weird.