ppc: Express dependencies of the embedded machines with kconfig