x86: EFI set_memory_x()/set_memory_uc() fixes