4 ms·

well, if it "buys" the kernel source so that mainline-linux is theoretically possible I'm really fine with it.