Comment 3 for bug 860556

deepti mentioned in mail thread that this problem goes away if kernel is build with thumb2. since all our userspace is built with thumb2 we should build all CI kernels with thumb2 for the time being (until we have a thumb2-less userspace rootfs).