[Bug 390333] New: virtualbox-ose installs debug-kernel