Revert "x86-64/efi: Use EFI to deal with platform wall clock (again)"