Amd64 debs work perfectly (or so they seem).