[Scripts/Debian] Remove grub's default 5s timeout to speed up booting.
[Scripts/Debian] Update: Ensure base packages needed for the build are installed.
[Scripts/Debian] Cleanup: Remove the kernel image header files and build essentials after we're done.
[Scripts/Debian] Networking: Remove leftover DHCP leases. Docblocks.