tree 29d07ec4c9096a5cc6adb0059f9c57057e1cf07f
parent 897c82ae91c9f31479332aecc0e9fc4832b0823c
author Mario Six <mario.six@gdsys.cc> 1548058670 +0100
committer Mario Six <mario.six@gdsys.cc> 1558417900 +0200

MPC837XERDB: Remove CONFIG_MPC837XERDB

CONFIG_MPC837XERDB is unused, and TARGET_MPC837XERDB could replace it.

Hence, get rid of CONFIG_MPC837XERDB.

Signed-off-by: Mario Six <mario.six@gdsys.cc>