extern void log_boot(char *str, unsigned long long detaltime);