[Concept] [PATCH 15/22] efi: app: Use EFI_PAGE_SHIFT instead of 12 in free_memory()