linux/arch/microblaze/platform/generic
..
system.dts