kernel/4.1: update to version 4.1.15