Beware HP shareholders, Warren Buffett may not just be doing some trimming