We'll need the amd64 sources for installing that flavour of Linux 4.x, and also to ship an amd64 syslinux binary in the ISO (#9381).