Ah, this seems to be indeed expected: Are Raspberry Pi firmware updates part of the ZynthianOS update? - #2 by riban