> +		rtc0 = &rtc0;

Maybe 'rtc' instead of 'rtc0' throughout the patchset?

@Geert: do we have a rule for this? There is also only 'gic' instead of
'gic0'?