ARM_Interface: Make destructor virtual

Fixes some warnings on OSX.