debian/0001-cc-builtins.patch
debian/0002-disable-sse.patch
armhf-with-fp.patch
