No i do not think it is a typo because I get the same exact error that it is missing where as it was available 2 kernels ago?
Do you mean modprobe can not find the proper module file when it faces two and more kernels in same machine? I think this would not happen.
File Bug Report?>
where can I find the fire bug report?
Best,
Ian