[PATCH 0/3] QEMU spike machine support for U-Boot