Tanenbaum vs. Torvalds reloaded?