Re: [RFC PATCH v3 06/15] jump_label: Add forceful jump label type