mini_armv6 tweaked for thunderc