3 ms·Yeah, and their Debian kernel images are, by now, years out of date.by yrro 12y agoYeah, and their Debian kernel images are, by now, years out of date.