Package: kernel-patch-gcov