Bugfix to generic SDHCI version of SetBusWidth

A following register read (after exit from the function) could bypass the
write buffer.

Version 0.16. Tagged as 'SDIODriver-0_16'

VersionNum

-/* (0.15)
+/* (0.16)
  *
  * This file is automatically maintained by srccommit, do not edit manually.
  *
  */
-#define Module_MajorVersion_CMHG        0.15
+#define Module_MajorVersion_CMHG        0.16
 #define Module_MinorVersion_CMHG        
-#define Module_Date_CMHG                20 Jul 2019
+#define Module_Date_CMHG                10 Aug 2019
 
-#define Module_MajorVersion             "0.15"
-#define Module_Version                  15
+#define Module_MajorVersion             "0.16"
+#define Module_Version                  16
 #define Module_MinorVersion             ""
-#define Module_Date                     "20 Jul 2019"
+#define Module_Date                     "10 Aug 2019"
 
-#define Module_ApplicationDate          "20-Jul-19"
+#define Module_ApplicationDate          "10-Aug-19"
 
 #define Module_ComponentName            "SDIODriver"
 
-#define Module_FullVersion              "0.15"
-#define Module_HelpVersion              "0.15 (20 Jul 2019)"
-#define Module_LibraryVersionInfo       "0:15"
+#define Module_FullVersion              "0.16"
+#define Module_HelpVersion              "0.16 (10 Aug 2019)"
+#define Module_LibraryVersionInfo       "0:16"

c/probe

@@ -358,6 +358,8 @@ static void set_bus_width(ctrlnode_t *ctrl, uint32_t sloti, uint32_t lines)
     else
       hc1 &= ~HC1_EDTW;
     REGISTER_WRITE(host_control1, hc1);
+    /* We may be read-modify-writing this register next, so flush */
+    register_flush_buffer(dev, sloti, wrbuf);
   }
 }