branches: 1.3.12;
Adjust config for 4.0: use native boot for i386 and amd64, swap i386 and amd64
and remove vax so that images are below 700MB.