[kbuild-all] Re: [PATCH] ARM/smp_twd: Cleanup the unnecessary cast