Update arduino kernel footprint benchmark, make it compile

No match.