The P5020DS is in the same family of boards as the P4080 DS and thus
shares the corenet_ds code.
Signed-off-by: NKumar Gala <galak@kernel.crashing.org>