On Tue, Oct 15, 2024 at 3:07 PM Alice Ryhl <aliceryhl@xxxxxxxxxx> wrote: > > Thank you. I was able to reproduce the error locally. It only happens > when CONFIG_JUMP_LABEL is disabled. I've verified that this fixes it. You're welcome! By the way, if you end up sending a new version, then you could simplify to `ifdef CONFIG_JUMP_LABEL`. Cheers, Miguel