* The Raspberry pi 2 uses a new SoC which differs slightly from the Raspberry Pi 1. * Someday these two board targets could go away when we get FDT support.