Finalmente encontrei. É explicado claramente no Guia do Usuário, mas eu estava focado em pesquisar "RAID" nesse guia. Assim que eu procurei "LSI" (o comentário de Hennes ligou a luz), eu o encontrei no capítulo "Iniciando o programa LSI Configuration Utility". O caminho é (do BIOS): Configurações do Sistema → Adaptadores e drivers UEFI → Atualize esta página na primeira visita → Controlador LSI.
Não é a GUI mais intuitiva, mas existe.