Use proper linux LED driver for green and red led