x86: Make EFI RTC function depend on 32bit again