src/sys/arch/evbarm/tisdp24xx