Secondo me ti conviene creare un kernel personalizzato e fare il boot con quello. Poi non dovresti avere problemi. Cmq sia mi pare strano che ti sia trovato di fronte a tali problemi... Mai sentito nulla di simile