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