[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