Re: [PATCH 2/6] efi: Convert device_path allocation to use malloc()