The repository https://github.com/ARMmbed/mbed-nfc-m24sr is no longer required to build applications that require this driver.