PATCH: applied linux kernel patch 3.4.80->3.4.85
PATCH: applied linux kernel patch 3.4.85->3.4.87