Edit File: kernel-seqnum