src/sys/arch/evbarm/g42xxeb