mpc83xx: add missing kernelnames into Makefile