I think it's debatable. It's a pretty basic guitar riff. The "Mannish Boy" riff has been used and re-used for decades, without the need to credit the source. Fact is, they did credit the source by even mentioning it. If it wasn't sampled outright, and they weren't legally required to do so, it's all a moot point.