GitLab

Too many decimal to hex converstions of the USB product ID resulted in
the firmware files having the wrong name. Rename them, and update the
WHENCE file with the new names.
Signed-off-by: Andrew Lunn <andrew@lunn.ch>