udoo: Adjust the SD card device numbering
[platform/kernel/u-boot.git] / include / string.h
1 #include <linux/string.h>