waldemar brodkorb fc4027a2b4 fix allmodconfig for foxboard %!s(int64=15) %!d(string=hai) anos
..
patches fc4027a2b4 fix allmodconfig for foxboard %!s(int64=15) %!d(string=hai) anos
Makefile fc4027a2b4 fix allmodconfig for foxboard %!s(int64=15) %!d(string=hai) anos