I've submitted this issue to raspberrypi/firmware as well:
https://github.com/raspberrypi/firmware/issues/860
I've submitted this issue to raspberrypi/ firmware as well:
https:/ /github. com/raspberrypi /firmware/ issues/ 860