Merge branch 'bugfix/fix-tsc-for-debian' into 'master'

ref:extensions/dune-codegen There is a fallback implementation if dmesg cannot
be read

See merge request [extensions/dune-codegen!304]

  [extensions/dune-codegen!304]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/304