ndufresne: good news, i think: https://github.com/raspberrypi/firmware/issues/1883
nice