build: Add link to image in /

Some boot loaders expect to find the image in the file system root.  For
example, libreboot's GRUB is configured to look for /vmlinuz on the root
device.

1 files changed, 1 insertions, 0 deletions

diff --git a/build b/build
index cc6101d..f52d02b 100755
--- a/build
+++ b/build
@@ -21,6 +21,7 @@ install: build
 		read img_src img_dest <image; \
 		install -D "src/arch/$(KBUILD_ARCH)/boot/$${img_src}" \
 			linux-image.data/boot/$${img_dest}; \
+		ln -sf /boot/$${img_dest} linux-image.data/$${img_dest}; \
 		install -D src/System.map \
 			linux-sysmap.data/boot/System.map; \
 		mkdir -p linux-image.data/etc/kernel/postinst.d \