Merge proposals

Debian kernel team has no merge proposals.