"BUG: using __this_cpu_read() in preemptible" when using Solarflare drivers on RHEL8 Real Time

Issue

After having installed Solarflare drivers on a RHEL8 Real Time system, messages such as the one below get printed in the logs:

 kernel: [11507.878426] BUG: using __this_cpu_read() in preemptible [00000000] code: kworker/u32:1/739
 kernel: [11507.878432] caller is efx_enqueue_skb+0x42/0xb50 [sfc]
 kernel: [11507.878433] CPU: 11 PID: 739 Comm: kworker/u32:1 Kdump: loaded Tainted: P           OE    --------- -  - 4.18.0-193.19.1.rt13.70.el8_2.x86_64 #1
 kernel: [11507.878433] Hardware name: Dell Inc. PowerEdge R640/0W23H8, BIOS 2.4.8 11/26/2019
 kernel: [11507.878440] Workqueue: sfc_ptp efx_ptp_worker [sfc]
 kernel: [11507.878440] Call Trace:
 kernel: [11507.878442]  dump_stack+0x5c/0x80
 kernel: [11507.878443]  check_preemption_disabled+0xc4/0xd0
 kernel: [11507.878449]  efx_enqueue_skb+0x42/0xb50 [sfc]
 kernel: [11507.878450]  ? preempt_count_add+0x5a/0xb0
 kernel: [11507.878451]  ? migrate_enable+0x123/0x3a0
 kernel: [11507.878452]  ? __switch_to_asm+0x41/0x70
 kernel: [11507.878452]  ? __switch_to_asm+0x35/0x70
 kernel: [11507.878453]  ? __switch_to_asm+0x41/0x70
 kernel: [11507.878453]  ? __switch_to_asm+0x35/0x70
 kernel: [11507.878454]  ? __switch_to_asm+0x41/0x70
 kernel: [11507.878454]  ? __switch_to_asm+0x35/0x70
 kernel: [11507.878455]  ? __switch_to_asm+0x41/0x70
 kernel: [11507.878455]  ? __switch_to_asm+0x35/0x70
 kernel: [11507.878456]  ? __switch_to_asm+0x41/0x70
 kernel: [11507.878462]  ? efx_ptp_xmit_skb_queue+0x55/0x90 [sfc]
 kernel: [11507.878468]  ? efx_ptp_worker+0x281/0x530 [sfc]
 kernel: [11507.878469]  ? __switch_to+0x7a/0x470
 kernel: [11507.878470]  ? process_one_work+0x191/0x460
 kernel: [11507.878471]  ? worker_thread+0x30/0x370
 kernel: [11507.878472]  ? process_one_work+0x460/0x460
 kernel: [11507.878473]  ? kthread+0x112/0x130
 kernel: [11507.878474]  ? kthread_flush_work_fn+0x10/0x10
 kernel: [11507.878475]  ? ret_from_fork+0x35/0x40