@libreleah what do you do with consumer boards that get removed from upstream coreboot?