Build errors in building L4re for ARM