Support for the following devices

At present the linux is supported on the following devices.


 * EVMC6472


 * EVMC6474


 * DSK6455