[coreboot] Re: How to push to board_status repo?