more kernel thunk names