[openadk] Re: [PATCH] target: linux: config: Set COMPAT_32BIT_TIME on 32bit architectures