- add info on interrupt generation channel, irq_demo, and irq masking
- update timestamp format to the new one with leap seconds
- add few notes to help mitigating known problems