check for __THUMBEB__ too