Re: [PATCH 1/3] makefile: Fix symbol typo in binary_size_check