I'm running the proprietary drivers on Precise 64bit (fglrx from the standard repositories) on an HP Pavilion dv6 with switchable graphics. I have an ATI HD5450 as the discrete chip and ATI HD4200 as...