WP8548 R15 - MangOH build

Is it a modification to do for build MangOH red /green with latest R15 firmware for WP8548 ?
The toolchain is different and the build failed.

If the team can push this on a to do list or send instructions.

Thanks a lot.