Comment 7 for bug 1878553

Copying in a relevant comment from Adam Conrad in the original bug report:

This isn't a bug in software-properties. What I can't decide is if it's a bug in virtualbox-guest* or ubuntu-drivers-common. Basically, here's what's happening:

1) The virtualbox-guest* packages have a modalias for the "guest services", but not the VGA controller.
2) We pulled the DKMS drivers into the kernel.
3) The above situation confuses ubuntu-drivers-common, which really wants to install vbox-dkms, but we have it builtin.
4) Nothing wants to install vbox-x11, which we actually want.

So, the lack of modaliases on vbox-x11 is definitely a vbox bug, and the dependencies are also a bit strong between vbox packages (we should drop some recommends to suggests, to stop trying to forcefully install compilers to get an X driver).

That said, we might also want to quirk the ubuntu-drivers-common detection a bit to either hide vbox-dkms altogether, or actually let us use it if it's a potential upgrade. Currently, neither of these options is in play, and we see it, but it's greyed out, which is amazingly confusing.