configure.patch
makefile.patch
debian_defaultconfig.patch
compensate-for-missing-aligned-u64.patch

