Google is preparing some kernel improvements for Android devices which are said to improve boot times by up to 30% on the Pixel 10, the first semi-official reference to the unreleased smartphone.