Beginnings of a working SDIO driver plus some formatting fixes.