Improve ARM extracting#17

vainiovano wants to merge 2 commits into

MariaDB:mainMariaDB/feedback-plugin-backend:mainfrom

vainiovano:split-armvainiovano/feedback-plugin-backend:split-armCopy head branch name to clipboard