ARM: Fix warning: #warning syscall migrate_pages not implemented