tree aa9a87676ea3e13bb48b6a935b11c431dbbb8a53
parent f1810f6b2cdb374f523738a871040499f8c1b515
author Dan Albert <danalbert@google.com> 1410389977 -0700
committer Dan Albert <danalbert@google.com> 1410389977 -0700

No longer need bootable/diskinstaller.

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