Linux kernel based on AM3517 evaluation board