kernel config for 3.9.0.bp0.1-amd64