Comment # 26 on bug 874621 from Michal Marek

Looks like our /sbin/installkernel script is not calling depmod (I thought it
was doing this).