Rename kernel configuration file.

diff --git a/config/kernel/kernel.config.arm-ipfire b/config/kernel/kernel.config.armv5tel-ipfire
similarity index 100%
rename from config/kernel/kernel.config.arm-ipfire
rename to config/kernel/kernel.config.armv5tel-ipfire