[PATCH] kernel: update to 5.1