hi,
this is just a curious question. why do we use the name "intel64" for qemu things? i thought it was from qemu, but qemu seems to use x86_64 or amd64. i think "amd64" is more commonly used as it's from amd. do we want to help intel marketing for some reasons?
