efi_loader: handling of daylight saving time