Re: [PATCH v2 18/35] common: arm: Move s_init() to an ARM-specific header