[PATCH] x86_64: No need to export get_cmos_time anymore