Scott Deboer, da Micron Technology, vende US$ 25,7 milhões em ações