[fedora-arm] What ARM hardware for KVM? (was: KVM on Samsung Chromebook A15)