A linux kernel patch for uncache user application's code section