Re: [U-Boot] [PATCH 3/5] ARM: socfpga: vining_fpga: Update generated headers