리눅스의 커널은 다음과 같은 단계를 거쳐 우분투를 쓰는 일반사용자에게 제공됩니다.
1. 리누스 토발즈가 있는 리눅스커널 팀에서 커널 소스를 만들어 배포합니다.
https://www.kernel.org/
2. 우분투를 만든 캐노니컬에서 그것을 받아와 1차적으로 가공(?)합니다.(빌드, 컴파일 등등)
http://kernel.ubuntu.com/~kernel-ppa/mainline/
3. 그렇게 가공(?)된 커널 중에 각 우분투 버전에 맞는 커널을 캐노니컬에서 선택하여 테스트하고 수정합니다.
https://launchpad.net/~canonical-kernel-team/+archive/ubuntu/ppa
4. 내부적으로 테스트가 완료된 커널은 Proposed 저장소로 넘어와 일반사용자의 오픈베타(?)를 거칩니다.
https://launchpad.net/ubuntu/+source/linux/
5. 오픈베타(?)가 완료된 커널은 이제 Security 또는 Updates 저장소를 통해 모든 일반사용자가 사용할 수 있게 됩니다.
따라서 우분투 일반사용자는 update와 dist-upgrade만으로도 커널에 대한 관리를 끝낼 수 있습니다.

다만, 일반사용자의 호기심이나 필요에 의하여 새 버전의 커널을 먼저 써볼 수도 있습니다.
즉, 최종적으로 커널이 공급되는 5단계가 아닌 그 이전 단계에서 미리 커널을 받아볼 수 있습니다.
참고로 3~5단계는 캐노니컬이 각 우분투 버전에 맞게 이미 선택한 커널이라서 아직 커널 4.12가 없습니다.
그래서 커널 4.12를 사용하려면 적어도 2단계나 1단계까지 거슬러 올라가야 합니다.
여기에서는 캐노니컬에서 이미 1차적으로 가공(?)을 끝낸 2단계의 커널 4.12를 설치하도록 하겠습니다.
4단계나 5단계에 있지 않은 커널을 사용하는 것은 알 수 없거나 예기치 못한 오류가 발생할 수 있음을 의미합니다.
새로운 기능을 먼저 만나볼 수 있는 대신에, 안정성에 대한 검증이 부족하거나 아예 없을 수도 있습니다.
다음의 내용은 우분투뿐만 아니라, 우분투에 기반하는 리눅스민트나 하모니카와 같은 배포판에서도 가능합니다.

--

터미널에서 다음의 명령어를 통해 커널 4.12를 다운로드합니다.
64비트인 경우에는 다음과 같습니다.
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_amd64.deb
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_amd64.deb

32비트인 경우에는 다음과 같습니다.
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_i386.deb
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_i386.deb

커널 다운로드가 완료되면 다음의 명령어를 통해 설치합니다.
$ sudo dpkg -i linux-headers-*.deb linux-image-*.deb

다음의 명령어를 통해 GRUB 부트로더를 갱신합니다.(보통 GRUB를 많이 사용합니다.)
$ sudo update-grub

만약, GRUB가 아닌 BURG 부트로더를 쓰는 경우에는 다음과 같이 합니다.
$ sudo update-burg

이제 재부팅을 합니다.
$ sudo reboot

터미널에 uname -a 를 치면 다음과 같이 커널 4.12가 설치되어 있음을 확인할 수 있습니다.

만약, 커널 4.12를 지우고자 하는 경우에는 터미널에 다음과 같이 입력합니다.
$ sudo apt-get autoremove --purge linux-headers-4.12* linux-image-4.12*

<참고>
http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/
https://www.ostechnix.com/install-linux-kernel-4.12-centos-ubuntu/

--

GUI(그래피컬 유저 인터페이스)가 가능한 환경(보통 데스크탑이나 노트북에서 사용하는 경우)에서는
다음의 명령어를 통해 UKKU를 설치하여 보다 쉽게 커널 설치가 가능합니다.
$ sudo apt-add-repository -y ppa:teejee2008/ppa
$ sudo apt-get update
$ sudo apt-get install -y ukuu

<참고>
https://www.ostechnix.com/ukuu-an-easy-way-to-install-and-upgrade-linux-kernel-in-ubuntu-based-systems/

--

만약, VirtualBox를 사용하는 가상머신에서 Kernel driver not installed (rc=-1908)과 같은 오류가 발생하는 경우에는 다음을 참고하세요.(예전에는 이런 오류가 있었는 것 같습니다만, 지금은 딱히 이런 오류가 발생하지 않네요.)
https://www.ostechnix.com/virtualbox-error-installing-linux-kernel-4-4-4/

--

출처: http://la-nube.tistory.com/181 [la Nube의 소소한 취미생활]