[openadk] compiler flag errors with arm

Hi all

When I try to build a new appliance for arm, raspberry pi 3 model b+ (just these two things selected in menuconfig, rev. f8d0864c18907ea4e21d0657b34869cda66dd452),  I get some errors like this:

tmp/cckyIFbk.s: Assembler messages: /tmp/cckyIFbk.s:67: Error: selected processor does not support `dmb ish' in ARM

Looks like something goes wrong with some flags.

make.log:

https://mega.nz/#!BxJnwQgR!-7Gkl_WuBg5L_0CFNf8Jp43Fqduu2siI47gvocJIXys

I get no problem when choosing aarch64:

https://mega.nz/#!RtZzXagR!QIvUgjipkzg_y32zReKYjRPCKHfK7dy2bcGjw1vR4RE

Does somebody know if something changed in the definitions of these flags, maybe in a newer version of GCC, since that changed recently?

Don't really know where to start looking...

Cheers

Oliver