configure: Use AC_GNU_SOURCE
[petitboot] / ui / common / timer.h
2013-06-24 Jeremy Kerrui: implement timers with waitsets
2009-07-09 Geoff LevandAdd generic UI countdown timer