/gnu/store/4jgwa0mphzh1m424d66hzlc0ag2f2l21-linux-libre-headers-4.14.232.drv