time32.patch
DEBIAN-cpuid_x32.patch
