Hi, were the binaries released in the meantime, so the firmware (Coreboot) can be updated?
Fill in the blank.