Bugfix to generic SDHCI version of SetBusWidth

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

VersionNum

@@ -4,18 +4,18 @@
  *
  */
 #define Module_MajorVersion_CMHG        0.15
-#define Module_MinorVersion_CMHG        GenericSDHCIFixes.1
+#define Module_MinorVersion_CMHG        GenericSDHCIFixes.2
 #define Module_Date_CMHG                10 Aug 2019
 
 #define Module_MajorVersion             "0.15"
 #define Module_Version                  15
-#define Module_MinorVersion             "GenericSDHCIFixes.1"
+#define Module_MinorVersion             "GenericSDHCIFixes.2"
 #define Module_Date                     "10 Aug 2019"
 
 #define Module_ApplicationDate          "10-Aug-19"
 
 #define Module_ComponentName            "SDIODriver"
 
-#define Module_FullVersion              "0.15 (GenericSDHCIFixes.1)"
-#define Module_HelpVersion              "0.15 (10 Aug 2019) GenericSDHCIFixes.1"
+#define Module_FullVersion              "0.15 (GenericSDHCIFixes.2)"
+#define Module_HelpVersion              "0.15 (10 Aug 2019) GenericSDHCIFixes.2"
 #define Module_LibraryVersionInfo       "0:15"

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);
   }
 }