Elaborating on Linux kernel Mindstorms IR tower support