What happens to VMWare now that Dell bids on EMC?