[azbox] add kernel workaround for broken gcc 4.8.2