I'm downgrading this bug from High to Low. As far as I can tell, this seems to be an issue with either the buildd hardware or kernel, and not a general ARM issue as it can't be reproduced on any other fast ARM hardware it seems ...
I'm downgrading this bug from High to Low. As far as I can tell, this seems to be an issue with either the buildd hardware or kernel, and not a general ARM issue as it can't be reproduced on any other fast ARM hardware it seems ...