I have tried the 0.8.0 BSP firmware and the reset is not fixed. (Note: I was using the 0.8.0 booting from and SD card, which might be different than using the BSP from the SPI)
It seem to me that the firmware is really what needs the fix, and booting from an SD card would not modify the firmware, which probably lives on the SPI device.
I guess now I should work on getting the 0.8.0 BSP to build an SPI image.