Link to ARM/PrimeCell documentation added.
Additional kernel configuration, incl. building of the different kernels supported by the build script.