[$] Portable and reproducible kernel builds with TuxMake

TuxMake is an open-source project from
Linaro that began in May 2020 and is designed to make building Linux kernels easier.
It provides a command-line interface and a Python library, along with a
full set of curated portable build environments distributed as container
images.
With TuxMake, a developer can build any supported combination of target
architecture, toolchain, kernel configuration, and make targets.