archtap: build kernel with full debuginfo for systemtap