Bump memory for isobuilder VMs

Originally created by @anonym on #11915 (Redmine)

They currently fail with 8.5 GiB, but I succeeded (with Vagrant’s VM, so YMMV) using 9 GiB.