Warren Buffett just updated his stock portfolio