Fix derp for KEXEC

CONFIG_PROC_DEVICETREE config was set double and
N one was lower than Y one so it didn't get built

Thanks to Ravikumar Achanta for finding the derp

Change-Id: I49dc12099dd5a55fa0f5e0930de47e6bfbcaaf32