Why are the virtual machine RPMs not updated in the repo for F11?