Re: [PATCH 05/25] arm: integrator: Migrate platform-specific options and cleanup armcoremodule.h