incubator-nuttx/boards/arm64/rk3399/pinephonepro/Kconfig