4 ms·

Different Linux kernel config options, probably. Different options can drastically affect performance.