Fix build due to upstream kernel header breakage