Linux: Removing The Big Kernel Lock