Se ci tieni ad usare una debian puoi sempre farti una iso con kernel personalizzato alle tue esigenze. Se i server dove hai provato sono DELL ricordati che esiste una versione di debian creata da un tizio con kernel ottimizzato per i loro server.