Added a new menu config, petalinux-configuration > Linux configuration, to specify the Linux defconfig.