[PATCH v4 00/15] Make EFI memory allocations synchronous with LMB