[Patch] Build fix for ARM