This fixes virtualbox seen as update for virtualbox-kernel.