Initial starting point to get the device booting. The downstream kernel repository can be improved, see discussion in the merge request. [ci:skip-build]: already built successfully in CI
