SVN-Revision: 22690
We have now a single kernel which autodetects the type of device we are running on, so we can switch back to having profiles. Patch by Bernhard Loos. SVN-Revision: 20416