source src/soc/imgtec/pistachio/Kconfig