Не могу обновить ядро ​​на машине с двойной загрузкой

У меня MacBook Pro с двойной загрузкой (2012). Для установки Ubuntu 16.04 я следовал этому руководству, используя rEFInd. Я сделал ошибку в первый раз, поэтому я переустановил. Теперь у меня есть две записи, указывающие на один раздел ubunutu (legacy & legacy на FAT) и один вариант для os x. У меня проблема с обновлением ядра с 4.15.0-42-generic до 4.8. Снова я следовал руководству, и это, казалось, работало - пока я не перезагрузил и версию (используя uname -r) было еще 4.15. Я быстро взглянул на то, как я мог вручную принудительно обновить ядро ​​и заголовки, но казалось, что он может пойти на юг довольно быстро... вот и я. В каталоге /boot есть обе версии (4.15 и 4.8), но есть только подкаталог grub. Любая помощь по обновлению ядра будет отличной. Благодарю.