Hardware: ThinkPad X200
Firmware: Libreboot 2016
OS: Guix System

Expected behavior:
Password prompt. Enter LUKS passphrase. Log into computer.

Actual behavior:
Password prompt. Enter LUKS passphrase. Select boot option from GRUB menu. Hangs, no password prompt. Enter passphrase (again) anyway: Boots normally.

Steps to reproduce:
1. Turn on laptop.
2. Select SeaBIOS payload (default boot option doesn't work).
3. Respond to LUKS prompt.
4. Select boot option.
5. Stare at gray screen with no password prompt.

-- 
Caleb
https://bluehome.net/csh/