[PATCH] kernel: update to 4.13.3