SD Card file timestamps are always 1/1/2077

Re NFC pins, I noticed that I failed to comment out:
'DEFINES+=-DHAL_NFC_ENGINEERING_BC_FTPAN­_WORKAROUND=1',
in the BOARD file. I'll rebuild and try pin D09 again.

Well, that wasn't sufficient, however, adding:

'DEFINES+=-DCONFIG_NFCT_PINS_AS_GPIOS', # disable NFC pins to enable as GPIO

Did work. D09 and D10 are now freed up to be used as GPIO!