[PATCH 03/18] mpc85xx.h: Use <config.h> directly