include user headers before kernel header to avoid a type conflict, which resulted...