No sé qué he hecho, pero ahora arranca sin problemas desde el menú de boot, y no tiene mala pinta el KOreader este.