[coreboot] [PATCH] coreinfo: Fix build for zero selected modules