kernel-install: Reuse $BOOT/Default if it already exists
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 18 Aug 2020 19:16:48 +0000 (20:16 +0100)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 24 Aug 2020 18:24:19 +0000 (19:24 +0100)
commit2c46d523ac3574f1902846c707ae7c76bb71b1d9
tree06e77eafbf6f70020263675b5742c084673287c9
parent6426c98ac5e581e888332ac3d29b407a44f4c5bf
kernel-install: Reuse $BOOT/Default if it already exists

Avoids duplicate installation problems when the machine ID is
initialized after a kernel is already installed under $BOOT/Default.
src/kernel-install/kernel-install