/debian/config/kernelarch-x86/

• ../
• config