Attempt to modify the pintos kernel