These header files are added to provide a minimal support to the Freescale 85xx cpu to boot on a P2020RDB platform. Signed-off-by: Renaud Barbier <renaud.barbier@ge.com> Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>