I can verify that I was unable to reproduce this bug with the latest proposed kernel on a highbank.
ubuntu@hb07-15:~$ cat /etc/issue Ubuntu 13.10 \n \l
ubuntu@hb07-15:~$ uname -a Linux hb07-15 3.11.0-15-generic #22-Ubuntu SMP Mon Dec 2 23:36:39 UTC 2013 armv7l armv7l armv7l GNU/Linux ubuntu@hb07-15:~$
I can verify that I was unable to reproduce this bug with the latest proposed kernel on a highbank.
ubuntu@hb07-15:~$ cat /etc/issue
Ubuntu 13.10 \n \l
ubuntu@hb07-15:~$ uname -a
Linux hb07-15 3.11.0-15-generic #22-Ubuntu SMP Mon Dec 2 23:36:39 UTC 2013 armv7l armv7l armv7l GNU/Linux
ubuntu@hb07-15:~$