On Tue, Oct 15, 2024 at 4:44 PM Miguel Ojeda <miguel.ojeda.sandonis@xxxxxxxxx> wrote: > > 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`. Too late! But I can do that if I send yet another version. Alice