Hello,
syzbot tried to test the proposed patch but the build/boot failed:
sys/arch/amd64/amd64/cpufunc.S:403:7: error: invalid operand for instruction
sys/arch/amd64/amd64/cpufunc.S:410:7: error: invalid operand for instruction
ERROR: Failed to make all in "sys/arch/amd64/compile/obj/GENERIC_SYZKALLER"
patch:
https://syzkaller.appspot.com/x/patch.diff?x=14176138080000