Daniel Baumann wrote:
Hi, I included the other *.c32 modules and added a patch to allow syslinux autodetecting while booting if the system has a 32bit or a 64bit CPU, and hence choosing the configured kernel for it. Please unblock syslinux, debdiff is attached.
Unblocked. Cheers Luk