技適通過版Raspberry Pi 4のUbuntuで、Karnelアップデートがコケる件

先日より日本国内で流通が始まった技適通過版Raspberry Pi 4。

この子にUbuntu 19.10を入れ、カーネルアップデートをしようとするとコケるので、その対策メモ。
たぶん、そのうち修正されると思うよ（他力本願）。

12/3 補足
all.dbの修正行数の誤りを修正しました（ご指摘有難う御座います！）
また、本件の問題はUbuntuバグトラッカーでトラッキングされており、近日中には修正されるのではないでしょうか。
https://bugs.launchpad.net/bugs/1854487
補足ここまで

初期インストール直後。

>uname -a
Linux ubuntu 5.3.0-1007-raspi2 #8-Ubuntu SMP Thu Oct 10 12:42:47 UTC 2019 aarch64 aarch64 aarch64 GNU/Linux

この「5.3.0-1007-raspi2」は、4GBメモリ版でUSBを認識しないという致命的バグを抱えているので速攻でカーネルアップデートしてあげたいところだが、残念ながら以下エラーが起きる。

>sudo apt-get update
>sudo apt-get upgrade

：
Processing triggers for initramfs-tools (0.133ubuntu10) ...
update-initramfs: Generating /boot/initrd.img-5.3.0-1007-raspi2
Unsupported platform.
run-parts: /etc/initramfs/post-update.d//flash-kernel exited with return code 1
dpkg: error processing package initramfs-tools (--configure):
 installed initramfs-tools package post-installation script subprocess returned error exit status 1
Errors were encountered while processing:
 initramfs-tools
E: Sub-process /usr/bin/dpkg returned an error code (1)

技適通過版は「Raspberry Pi 4 Model B Rev 1.2」と基板改良がされたばかりで新しく、どうやらflash-kernelが未対応の模様。

なので、以下のファイルの
/usr/share/flash-kernel/db/all.db
1669行目に
Machine: Raspberry Pi 4 Model B Rev 1.2
の1行追加する。

（追加例）

Machine: Raspberry Pi 4 Model B
Machine: Raspberry Pi 4 Model B Rev 1.1
Machine: Raspberry Pi 4 Model B Rev 1.2
Method: pi
Kernel-Flavors: raspi2
DTB-Id: bcm2711-rpi-4-b.dtb
U-Boot-Script-Name: bootscr.rpi
Required-Packages: u-boot-tools

そして、再アップデート＆再起動。

>sudo apt-get install linux-headers-raspi2 linux-image-raspi2 linux-raspi2
>sudo reboot

>uname -a
Linux ubuntu 5.3.0-1012-raspi2 #14-Ubuntu SMP Mon Nov 11 10:06:55 UTC 2019 aarch64 aarch64 aarch64 GNU/Linux

ばっちり！