[Bug 590028] New: VirtualBox kernel module for 2.6.25.20-0.7 missing in update repo