Rename kernel configuration file.

This commit is contained in:
Michael Tremer
2011-09-16 23:04:21 +02:00
parent 849d454a7d
commit 6bb612ca11