I even then wouldn't know how to fix this for various kernels. Making firmware copies for every added kernel?