For the record, everyone referring to "kernel: not found" was suffering from a different bug in a PCMCIA bridge driver, fixed a while back.
For the record, everyone referring to "kernel: not found" was suffering from a different bug in a PCMCIA bridge driver, fixed a while back.