Deprecate old VMWare-guest option in favor of VMWareGuest board configuration