Pretty please Thank you :)
I've fixed this on the amd64 and x86 kernel specs. We need to fix the installcd building failures before we can get new a new iso using the updated specs.
Please test with the latest ISO and check if it works. The amd64 ISO from last week should work and I hope we'll get today a new X86 ISO that should also work. Reopen if it fails for you.