Yes, I will do that.
On a broader note, I have continued my personal quest to find distributions which just work on the stick computer. Now, for those that don't, I apply your fix first and see what happens. It has been successful with three distributions so far - it takes me quite a while to download a distribution - so it is a slow process. For me, the 1a32wfc32 stick is on the way to becoming just like an ordinary computer. So, thank you for that. Perhaps you might like to post your fix somewhere to reach a wider audience. Seemingly,the saga of getting the Realtek rtl8723bs adapter to work properly in linux has a way to go yet.
I haven't discarded my 'too hot' theory of the problem yet, as yesterday, it crashed again in the afternoon when the room was hot. I seem to remember reading a review somewhere that the 1a32wfc didn't perform well in the heat.