devices: allow to override base_kernel_args

Signed-off-by: Rémi Duraffort <remi.duraffort@linaro.org>
18 jobs for grub-extra-kernel-args in 16 minutes and 48 seconds (queued for 7 seconds)
Status Name Job ID Coverage
  Test
passed dispatcher-debian-10 #141161
amd64

00:02:31

passed dispatcher-debian-11 #141163
amd64

00:02:30

passed server-debian-10 #141162
amd64

00:02:58

passed server-debian-11 #141164
amd64

00:05:06

 
  Analyze
passed bandit-sast #141165
amd64-dind

00:01:15

passed black #141168
amd64

00:00:46

passed code_quality #141169
amd64

00:00:30

passed codespell #141174
amd64

00:00:32

passed coverage #141170
amd64

00:07:07

61.02%
passed dockerfiles #141171
amd64

00:00:25

passed eslint-sast #141166
amd64-dind

00:00:43

passed pylint #141173
amd64

00:02:48

passed schemas #141172
amd64

00:00:43

passed semgrep-sast #141167
amd64-dind

00:01:21

 
  Build
passed debian/10 #141176
amd64

00:01:22

passed doc #141175
amd64

00:00:38

passed docker-amd64-dispatcher #141177
amd64-dind

00:04:01

passed docker-amd64-server #141178
amd64-dind

00:04:29