In cases where they didn't, the techpowerup vBIOS collection solves the problem.