New comment by q66 on void-packages repository https://github.com/void-linux/void-packages/pull/18852#issuecomment-582936141 Comment: `CONFIG_JUMP_LABEL` is already enabled for non-x86 configurations, so we can enable that for x86 as well. Disabling gcc plugins is fine and probably a good idea.