Question regarding clock-provider and m41t80.c