chromebook pixel configurations for the use with debian linux