rt-thread/bsp/phytium/libraries/standalone/drivers/gic/Kconfig