work around bug in menuconfig without DEVELOPER=1 (target arch)
This page took 0.045905 seconds and 3 git commands to generate.