Switch to a common kernel