src/sys/arch/arm/ixp12x0