update revision number for linux kernel