Thanks for reporting this.
When I tried to build your kernel, I got a compilation error (see attached file) but not any segmentation fault. I also tried to compile the kernel using CodeXL and found similar compilation error. I don't know the reason behind this compilation error. It may be a bug. I'll check with concern team and if required, will file an internal bug report.
compiler_error.txt.zip 579 bytes