Buffett had said that one of his portfolio managers bought "some" Amazon shares. A filing reveals how many.