Fixed cross-compilation of ARM guests (using Codesourcery bare metal chain)