Merge pull request #618 from hanno-arm/record_checking_api-baremetal

[Baremetal] Record checking: API, Documentation and Stubs