[Bug 390333] virtualbox-ose installs debug-kernel