上記の記述をしてから、MBのBIOS設定を見てみた。
Integrated Peripherals -> OnChip SATA Type = Native IDE
となっていた。これを
Integrated Peripherals -> OnChip SATA Type = AHCI
に換えて起動すると、上記と同様なエラーが出る。そこで、/etc/modprobe.d/options.conf を削除すると、今度は正常に起動する。
結局、単にBIOS設定の問題だったというわけだ。反省のために、上記の記述は残しておく。