Ubuntu
flash-kernel package

  1. Bug #1764491
  2. Comment #9

Comment 9 for bug 1764491

Adam Smith (adamsmith) wrote :

Just an aside, Debian uses the raspi3-firmware package to copy the latest vmlinuz/initrd.img, but that has its problems too.