On Thu, 23 Jun 2011, John Rigby wrote:
I thought this was new but it has been around for awhile. My default
config was not turning on THUMB2 kernel so I only saw it today.
Old known issue. I wonder why I didn't stumble on it. Should be fixed
now.
Nicolas
