o Modified Makefile to consider .S assembly microkernels.
Added new armv7a micro-kernels and configuration files from Werner Saar.
Merge pull request #3 from figual/master

New ARM armv7a kernels and Assembly file consideration in Makefile