[benchmarks] Ports Linux kernel list.h to lib.