Re: [PATCH 2/4] print_debug: Use ebl_debugscn_p() to check if it's a debug section.