The text 50c4f2ace8e7, as Debian 13 (Trixie) shipped it.
Kinds of CPU cores
hwlocality_cpukinds(3) on Linux now
