works, but slow with > 1 vcpu
nevermind, still a lockup to work out