That is really a pity, especially rebooting is very cumbersome. DriverKit has been advertised for the short development roundtriptime, but that is thus blocked by the gatekeeper. I hope someone knows a trick to trigger the appearance of this 'Enable' button again.
I will also try to find a trick :-) Thanks for your reply! I'll test it.