uboot/board/ppmc7xx/Kconfig