fix ksm.h breakage of nommu build