Subject: [PATCH] update-kernel: Make path for tmpdir changeable via cli flag
On a Raspberry Pi 3B+ the memory is limited. Updating a kernel might be not possible due to "out of space" situations. This MR adds a flag to mitigate the problem for users facing this issue.