reproducible debian: properly alternate amd64 and 686 kernels in the i386 builders

it's already this way, as apparently they are running the correct
kernel, but just don't try to install the amd64 kernel where we don't
need it

Signed-off-by: Mattia Rizzolo <mattia@debian.org>