[TEST] New Raspberry Pi SD card driver

Since this thread/software started before the Release version, is this driver now standard?

If not, any harm in performing the update in the initial post?

Thanks

(I finally ditched my Lexar card for a Samsung 64GB. Working well with RC)