@Stephane, if this bug was not phrased that generically I would feel inclined to say it verified ok if the kernel image can be booted in secureboot mode and has the requested config options set. And treat the initrd issue as a separate one on the path to completion.
For us, I would propose to count this feedback as success (and still release the kernel that way if there is no other problems).
@Stephane, if this bug was not phrased that generically I would feel inclined to say it verified ok if the kernel image can be booted in secureboot mode and has the requested config options set. And treat the initrd issue as a separate one on the path to completion.
For us, I would propose to count this feedback as success (and still release the kernel that way if there is no other problems).