If you're going so far as to install Linux on a laptop that shipped Windows, flashing the BIOS isn't a big deal at all. The real problem is that it took a third-party to fix the BIOS rather than Lenovo releasing a "BIOS for Linux" directly. I get not wanting to expose it from the factory to keep a user from screwing themselves, but there's no reason not to provide it to the power user.