This happens on all 4 with 2015-08 32-bit userspace that I tested todays git on:
[...]
Have not tried on anything with current 64-bit userpace, the machines are not online at the moment.
Tried now, compiles and boots with current debian-ports toolchain. -- Meelis Roos <mroos@xxxxxxxx>
