[arch-dev-public] Bumping Linux 4.2 in [core]