The DVD is ok to boot from a normal laptop (without libreboot).
When I insert the DVD to my laptop with libreboot, and reboot to boot configuration, and select
*Search ISOLINUX menu (CD/DVD) (d)
The laptop does not boot to guixSD, but stays in the boot configuration menu after reading the DVD. I have got no error message on the display.
So I want you to check if there is a problem.