2 ms·

Thanks - I can think of edge cases where it can still be useful (particularly for kernel development). I didn't wade deeply enough into menuconfig to find it.