android_kernel_xiaomi_sm7250/arch/avr32/boards
..
atstk1000