I have a Lenovo G555 with ATI Mobility Radeon 4200 HD, and I've had both bad luck with the proprietary fglrx and good luck with the free radeon drivers.