The 0x413c vendor Id is listed as (Samsun). The company id list from usb.org states 0x413c Dell.
More details. The uhci driver seems show it right but ehci does not.