[fedora-arm] qemu, arm kernel