HP Microserver Gen10, чипсет Marvel, будет ли он работать в Raid1 с сервером Ubuntu?

Я купил микросервер Hp gen10, но мне не удалось установить Ubuntu Lts 16.04.03 с использованием двух жестких дисков в Raid1 с зашифрованным Lvm. Процесс установки работает хорошо, кажется, все в порядке, но машина вообще не загружается, опция загрузки не показывает диски или массив raid. С самим оборудованием все в порядке, оно работает, если я устанавливаю тот же дистрибутив Linux на один диск. Предпринятые шаги по устранению неполадок: я пробовал это более 10 раз, с Efi, в устаревшем режиме. Я обновил прошивку до ZA10A320 от ZA10A290 и попробовал снова с Efi и legacy. Я попытался с более новым ядром, используя режим HWE, и я попытался с Ubuntu 17.10 тоже безрезультатно. Я сообщил об ошибке в HP, они ответили, что у контроллера Raid (Marvel 88SE9230) нет драйвера в Ubuntu, только в RHEL. Возможно ли это?