Re: [PATCH v2 0/4] QEMU spike machine support for U-Boot