Hi, Are any of the "brand name" companies currently shipping notebooks with Linux installed? Thanks, Mike