On 11/26/2015 10:04 PM, Bernd Schmidt wrote:
> As I said previously, the one to just replace whitespace is ok for now. Please ping the other one when stage1 opens (I expect it'll need changes by then).
> 
> 
> Bernd

Hello.

This part of the part remains to be installed from the previous stage3.
I've rebased the patch and rerun reg&bootstrap on x88_64-linux-gnu system.

Ready to be installed?
Thanks,
Martin