4.15. PowerPC boards

Not all supported boards have a description here.

• 4.15.1. Phytec phyCORE-MPC5200-Tiny