[coreboot] questions about "QEMU Build Tutorial"