Wrong core-isa.h is included using gcc

[tlauda]

During build process using gcc, the wrong core-isa.h is included.
It should be the one from the platform directory, but header from xtensa-root/xtensa-xxx-elf/include/xtensa/config/core-isa.h is taken.

[keqiaozhang]

This issue is fixed by #16