On 2011-05-23 10:03, O. Hartmann wrote: ... > But make installkernel still fails installing mps.ko.symbols (which is > not found). Is it only mps.ko that suffers from this problem? Or are other kernel modules also resulting in the same message?