Merge "Update for v4.12.3 kernel headers."