0d17d18 Remove remnants of 32-bit Arm support

Authored and Committed by fweimer a month ago
1 file changed. 1 lines added. 12 lines removed.
    Remove remnants of 32-bit Arm support
    
        
file modified
+1 -12