rt-thread/bsp/hpmicro/hpm6750evkmini/Kconfig