1248 /* !: has kernel priority boost */