[coreboot] abuild error

[Nils]

I did a abuild run on r6252 and got the following error:

Building technologic/ts5300; i386: ok
  Creating config file... ok;  Compiling image on 1 cpu .. FAILED after 19s!
Log excerpt:
/bin/sh: -Wa,--divide: not found
    CBFS       coreboot.rom
    PAYLOAD    SeaBIOS (internal, compression: LZMA)
Could not add the file to CBFS, it's probably too big.
File size: 46723 bytes (45 KB).
make: *** [coreboot-builds/technologic_ts5300/coreboot.rom] Fout 1

Is this a known problem?

Thanks, Nils.