Update arduino kernel footprint benchmark, make it compile