[arch-dev-public] syslinux 4.05-5 does not boot