Thank you. Unfortunately, I have already tried that with no success.
Instead I have opted to reinstall without following the guide for encrypted /boot. I installed with encryption as I normally do, i.e. using the installer. The laptop boots rapidly and without issues now.
At least I know have an up and running libreboot'd X200 to use.
