Now that is good advice indeed. most of the non gnu/linux dedicated brands suck.
With exception of those lucky lenovo laptops that can have libreboot put on them... :)
He should look it up before he buys of course, if there is no documentation, it probably will not work. ;)
