# $FreeBSD$ arm/xscale/i8134x/crb_machdep.c standard