Hello, we are attempting to get(artec dbe61) LX800 hardware to work with coreboot/FC10/ k12linux/ltsp. Can you point us in the direction of the client kernel config file? -mlw