zephyr/ext/hal/microchip/Kconfig