Move the Ti SoCs to use the ARM platform. This should help allowing a
single kernel to work on both PandaBoard and BeagleBone.
ADd axge(4) to LINT

Approved by:	markj