original_kernel/arch/arm/boot/dts/xen
..
Makefile
xenvm-4.2.dts