Linux creator Linus Torvalds may have just put a damper on many kernel developers’ vacation […]