Some code style added to memory.c on EFI platform