We're calling cflush() in various places prior to calling system_reset() (chip-level function). We should consider calling cflush() in all the system_reset() implementations instead. It's a simple change, but I haven't done it yet, due to concerns that cflush() call may not be safe on all chips / contexts.