fdt_add_rtc
fdt_add_rtc(RTC_MMIO_BASE, RTC_MMIO_SIZE, RTC_INTR);
void fdt_add_rtc(uint64_t rtc_base, uint64_t rtc_size, int intr);