default/linux/x86/17.0/prefix/kernel-3.2+