Note, on some machines like (pandaboard) the thumb variant
won't compile because the C-library for armhf does't support
the plain thumb calling convention.

