test: use a correct kernel binary on ppc64le machines
authorFrantisek Sumsal <frantisek@sumsal.cz>
Mon, 9 Aug 2021 12:32:43 +0000 (14:32 +0200)
committerLuca Boccassi <luca.boccassi@gmail.com>
Mon, 9 Aug 2021 21:12:18 +0000 (22:12 +0100)
commit46db176f8c34adc47f535904e834d18c8ad53f5f
treeb907501da5268d0c0b4ed0ff1bd7850b785916f7
parent33e82f3ef33a2497f9838a5fbb924c7501d8dd9e
test: use a correct kernel binary on ppc64le machines

Ubuntu calls the kernel binary as `vmlinux-*`, but RHEL/CentOS uses
the "standard" `vmlinuz-` prefix.

Follow-up to eaa602cb14217f2623c9c8c44b6f3012dc4d0b24.
test/test-functions