This patch fixes BSS initialization such that it is
initialized to 0 as you'd expect.
./validate, test T7040_ghci
Why do we drop addProddableBlock here?
It now falls through to the case on line 1596, so we handle them all in the same place now. Previously it was being incorrectly added twice.
The same case will do the alignment as well.