Some questions regarding firmware handling in the qemu driver