Oklahoma State transfer Javon Small to Kentucky?