Resurrect libc rebuild

This is blocked pending resurrection of linux-libc-headers.

Signed-off-by: Christopher Larson <chris_larson@mentor.com>
Update TODO

Signed-off-by: Christopher Larson <chris_larson@mentor.com>