[PATCH 4/8] Update the RAID-specific UI after changing the device's disk set.