configuration for kernel-3.10.55
update mkspec to create a kernel-firmware RPM. This fits better with RedHat/CentOS packaging.