as found in the vortex86 SoCs (http://www.vortex86dx.com). Ported from freebsd. Not added to amd64's GENERIC because this CPU is 32bit only. thanks to DM&P Electronics, Inc for providing documentation and sample devices for this work.