Updating: keeping singpolyma-kernel up-to-date