#!/bin/sh

sicherboot remove-kernel "$1"
