Hi Steve,
>Everything else looks ok, but I'm curious - why are we using >Build-Depends-Indep for gnu-efi? Because it's unavailable on x32 and only needed for the syslinux-efi package wich is arch independent. Arch indep packages are built on amd64 on the buildds so the dependency can be resolved. Regards Lukas