, потому что я буду использовать HTB для сервера Ubuntu 12.04.
Нет, версии ядра, доступные в официальных репозиториях Ubuntu 12.04:
Если вам удастся установить какое-либо ядро из неофициального репозитория, оно не будет поддерживаться.