Updated documentation to reflect basic ARM semi-hosting support