mmcsd on RPi

[George Mitchell]

While performing "disk" operations in the process of building ports on
my Raspberry Pi, I observe idle times in the 80-98% range, with the
processes doing the work in the biowr or biord states in the "top"
display.  Interrupt time varies from 1-8% with system time in the 1-3%
range.  Could this be due to my having a crappy SD card, or is it
inherent in the current mmcsd driver on ARM?  Is there anything I can
do to help speed up the driver?

My continuing thanks go to the many developers on the ARM project, and
especially the ones who have made the Raspberry Pi a viable FreeBSD
platform.                                                  -- George