[mpc83xx]: include the board name in the generated dtb's filename