Merge remote-tracking branch 'bonzini/qdev-props-for-anthony' into staging