OK, you can close this ticket. The problem was that I had "auto" instead of "auto=true" in the boot command. That has worked in previous releases...