target-arm/kvm: casting shenanigans