ppc/arm: remove remainders of dead boards in Kconfig