Include time.h header for linux in embedded_linux_hardware.h.