x86, efi: Don't use (U)EFI time services on 32 bit