The Kconfig option for OR12000 is OR1K_1200.
Signed-off-by: NValentin Rothberg <valentinrothberg@gmail.com>
Signed-off-by: NStafford Horne <shorne@gmail.com>