SPDX: Correct SPDX tags from recent xilinx merge