4.20. PowerPC boards

Not all supported boards have a description here.

• 4.20.1. Phytec phyCORE-MPC5200-Tiny