IS kernel: findmax()