[PATCH] arm64: xilinx: Enable EFI_HTTP_BOOT by default