rem: dprintf("current_time: %u\n", currentTime);
add: dprintf("current_time: %lu\n", currentTime);
context: rtc_print(void){	uint32 currentTime;	currentTime = (sBootTime + system_time()) / 1000000;	dprintf("system_time:  %Ld\n", system_time());	dprintf("boot_time:    %Ld\n", sBootTime);	dprintf("current_time: %u\n", currentTime);}