Re: [PATCH 07/17] Remove unused symbols