[int_19h]

I find it far more likely that Linux has better drivers made by companies because it has much better marketshare, not because it's GPL.