For those awaiting it since a long time and how to upgrade: https://www.raspberrypi.org/forums/viewtopic.php?f=29&t=250730