Re: [Y2038] [PATCH] x86: fix unused efi_get_time function