kernel: update to 42ed1aac46