На Thinkpad x230 прошил свежий Coreboot с SeaBIOS в качестве Payload. Работает без вопросов.

Подскажите пожалуйста, как теперь установить Debian GNU\Linux 10 c Full Disk Encryption на диск?

Заменить SeaBIOS на GRUB2 не подходит вариант (в текущем состоянии компилируется с ошибкой и иногда Windows нужен с другого диска).