HomeFreeBSD

x86: remove gcov kernel support