EFI: Implement memory allocation functions