amd64-ai.patch
amd64-gcc40.patch
cflags.patch
debian-datapath.patch
disable-screenmenu.patch
gcc30.patch
gcc-4.6.patch
