Added BOARD_KERNEL_SEPARATED_DT