Adopt the new markup overload, introduced in 77d10325, in the ARM backend. This commit completes the migration and removes the old overload.