# CONFIG_MACH_NOKIA_RX51 is not set