Yes -- that was it! (Thanks very much for the information.)
In this installation the wubi resides in a FAT32 partition. Taking one suggestion in the Bug #252900 thread, I copied the /boot directory off to an ext3 partition (using rsync) and then mounted that over the original /boot directory.
The update went without error.
I unmounted the updated ext3 directory, and copied it back to the original /boot.
The only thing I noticed was the permissions of the new files did not match -- it was simple to use chmod 755 * to correct that.
Yes -- that was it! (Thanks very much for the information.)
In this installation the wubi resides in a FAT32 partition. Taking one suggestion in the Bug #252900 thread, I copied the /boot directory off to an ext3 partition (using rsync) and then mounted that over the original /boot directory.
The update went without error.
I unmounted the updated ext3 directory, and copied it back to the original /boot.
The only thing I noticed was the permissions of the new files did not match -- it was simple to use chmod 755 * to correct that.