Linux On My Samsung

Hi everyone, Any idea if the Samsung 350V5C-A0E (model: NP350V5C-A0EUK) or (model: NP535U3C-A02UK)can be made to work OK? Main details are: Model: 350V5C-A0E CPU: Intel Core i5 3210M (Samsung UK website says it's actually an i7) Graphics: Intel HD Graphics 4000 Model: NP535U3C (Not listed on Samsung...