WTF !

i've never run linux on mine but,
it's always nice to have a choice.

thanks for the heads-up rev.