This makes the binary size 500 bytes bigger for gsi_defconfig
(the configuration already using the library) and strangely a little
smaller for etherbone_defconfig.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>