x86: dts: use BOARD Kconfig symbol not SOC for arduino_101

As the device tree is board specific we should be using the board
Kconfig variable to decide which .dts to use and not the SoC one for
arduino_101.

Signed-off-by: Kumar Gala <kumar.gala@linaro.org>