Device-Velleman-K8055-libk8055 not anymore disabled