Armadilloフォーラム

https://armadillo.atmark-techno.com/sites/armadillo.atmark-techno.com/f…
上記の対応のため、対応検討中での作業にて、uImage、DTBファイル作成を行っています。

https://manual.atmark-techno.com/armadillo-iot-g3l/armadillo-iotg-g3l_p…
手順を参考にLinuxカーネルのビルドを行っているのですが、以下のワーニングが表示されます。
drivers/net/wireless/bcmdhd/Kconfig:53warning: defaults for choice values not supported

Linuxカーネルのソースコード：linux-4.9-x1-at28.tar.gz
initramfsアーカイブ：initramfs_x1-v2.1.1.cpio.gz

対処方法をご教授ください。