Raspberry Pi hard-float support added.
Alternate configs added (3.8 and 3.9 kernel)