Perhaps another bug:
when I finish the Kernel configuration, and then save and exit, it
crash with this message:
make[2]: Entering directory
`/usr/src/petalinux/software/petalinux-dist/config'
wish -f config.tk
Error in startup script: can't read "CONFIG_PRODUCT": no such variable
while executing
"set CONFIG_SYSTEM_HOSTNAME "${CONFIG_PRODUCT}""
(file "config.tk" line 8277)
make[2]: *** [xconfig] Error 1
make[2]: Leaving directory
`/usr/src/petalinux/software/petalinux-dist/config'
make[1]: *** [config_xconfig] Error 2
make[1]: Leaving directory `/usr/src/petalinux/software/petalinux-dist'
make: *** [xconfig] Error 2