New ultrabook, which!? Should I go with linux?

Hi guys! 
I have considering buying a new laptop for school use. I've considered Samsung's 5 series ultrabook with the A6 AMD CPU and the ATI 7500g. (I can't seem to get the Core i5 version cheap)

Do you guys perhaps have a better solution to a ultrabook. The only thing I need is long battery life  and to do some very light gaming not more than what Intel's HD4000 can handle since it is only for my studies.

My budget lies around 900$ 

I was wondering if you guys could recommend linux for laptops?  

 

http://www.ebay.com/itm/New-HP-ENVY-6-Slickbook-Ultrabook-Quad-A10-4655m-2-8GHz-8GB-256GB-SSD-Backlit-/261138851959#vi-content

this is the best i could find because apparently you can't customize hp sleekbooks anymore only the pos ultra books. the a10 beets the mobile i5 hands down.

if you dont want to buy from ebay hp has an a8 sleekbook http://www.shopping.hp.com/en_US/home-office/-/products/Laptops/HP-ENVY/C2K91UA?HP-ENVY-Sleekbook-6-1110us

It actually looks rather descent though I am not much for the 15,6 inch screen and I have heard and seen that HP computers breaks after a year, but I will most certainly consider it! 

Thanks for the advise!