Linux kernel with patches for MikroTik RouterBOARD 333, 600, and 800 devices