[ifxmips-dsl-api] fix .32 kernel, add support for .33 kernel