ddfd18e255
LRU. Use a 31-bit counter instead. If we decide to do heavy I/O through the bootloader this will have to be revisited.