since the setup allowed picking x86 and amd64 versions of Debian I decided to give them a quick test with the pts to see if the amd64 version would be any faster.
I just restored the system...