new support for Raspberry Pi B+

[draymond at FoxValley.net]

I ordered another SD card to experiment with FreeBSD 11 on Raspberry  
Pi B+.  This one was a Kingston 16GB Class 6.  It booted successfully  
10 out of 10 times when using low speed (hw.bcm2835.sdhci.hs="0").  It  
failed to boot 10 out of 10 times when using high speed  
(hw.bcm2835.sdhci.hs="1").

To summarize my findings so far:

16GB Transcend Class 10: will not boot using high speed; boots  
consistently at low speed but experienced catastrophic file system  
corruption after 10 days of heavy use

32GB Sandisk Class 10: boots consistently at high speed (41.6MHz) and  
low speed (25MHz); however it always panics during auto-resizing;  
panic when building pkg

32GB Samsung Class 6: will not boot using high speed; boots  
consistently at low speed; have not had any SD card related panics yet  
after 6 days of heavy use

16GB Kingston Class 6: will not boot using high speed; boots  
consistently at low speed


Luiz, have you made any progress finding the root cause of these SD  
card problems?  Are you seeing similar results during your testing?