Bitcoin curious Michael Dell sells $1.2B worth of Dell stock