kconfig: incorrect 'len' field initialisation ?