[PATCH 1/4] firmware_loader: EFI firmware loader must handle pre-allocated buffer