Re: [PATCH] mod_devicetable: Enlarge the maximum platform_device_id name length