Added new armv7a micro-kernels and configuration files from Werner Saar.