testsuite: fix T5751 build failure (AMP)