4.19. PowerPC boards

Not all supported boards have a description here.

• 4.19.1. Phytec phyCORE-MPC5200-Tiny