Add and fix specs for linux kernel parameter checking