Tincat and SuSE v10\ 2.6 kernal?