On 08/21/2015 10:24 PM, Vladimir Kozlov wrote: > Thank you for report and suggested fixes. > > CC to aarch64 port developers. May I push this, or do I need you to review it? Andrew.