Would someone mind adding x86 (32 bit) images to Debian Ports? Apparently they finally dropped x86-32 recently.