Re: [PATCH v2 01/33] bootstage: Fix dependency for BOOTSTAGE_RECORD_COUNT