add Linux config file for the CentOS 7 kernel
add Linux config file for the CentOS 7 kernel

modified CentOS 7 kernel is available at

https://github.com/RWTH-OS/linux/tree/centos7

RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore