Thanks @marsman, that at least confirms that the Yocto update solves the boot issue with the latest Pi 4 revision