Another thought that is maybe a little outside the box: If your BIOS supports booting from USB or media slot then you could maybe make a new boot partition on one of those devices and switch to booting from that from now on.
Ties up a USB or media slot forever of course, but possibly an acceptable compromise. Cheers, Andy -- https://bitfolk.com/ -- No-nonsense VPS hosting
