Modification on linux kernel