Thumb-2 kernel guide now on the wiki