This is a super simple and minimal script I made for installing the Linux
kernel on EFI-capable setups. It's meant to be run during make install, and
to be as quick as possible.
The script is currently super straightforward, and should be pretty self-explanatory, having comments to clarify stuff.
Change the environment variables shown at the beginning of the file accordingly. All of them have comments explaining their function.