OS-R1: Agentic Operating System Kernel Tuning with Reinforcement Learning | Dark Hacker News