chiark / gitweb /
kernel-install: rename the loader entry filename