Re: PATCH: Add x32_corenote.c