Re: [PATCH 11/13] arm: qemu: Switch to standard boot