Пытались в своё время уже разобраться. Там с BIOSом какие-то заморочки.. надо искать и смотреть как оно там настроено. Не думаю, что там сложно поменять (какой-нибудь образ ядра другой прописать), но вот найти где это прописать думаю непросто.
С помощью автоматической подсказки можно сузить результаты поиска до возможных соответствий при вводе текста.
и все ОК.
