Indeed the page www.pjrc.com/store/teensy40.htm indicates "(64K reserved for recovery & EEPROM emulation)"

Indicated below - the recovery program only takes 4K - but the 60K of EEPROM space is...