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