Okay but how is the user program to know which flash block is the real (active) state versus ones that were saved previously? From the comments in empeg_state.c, the 128 byte block could be anywhere betweeen EMPEG_FLASHBASE + 0x4000 to +0x5FFF. Only the kernel knows which one is the current block, right?