/debian/config/kernelarch-x86/

• ../
• config
• config-arch-32
• config-arch-64