rest-commands.js: remove old kernels