linux kernel contributor foss tools drivers bugfixing soc raspberrypi i2c devicetree blog syzbot sanitizers rust qemu lkmp github-page gdb b4 adventure