No longer need bootable/diskinstaller.

This was only used by the vbox target, which is now dead.