Does anyone have experience flashing their bios to upgrade it?? Is this a dicey proposition using Linux? Inquiring minds want to know. :) Ric