directhex Remove another unneeded hunk from armhf port