Korean retail investors sell $664 million of SOXL, rotate to Micron