[ros-diffs] [ion] 25025: - Enable V86/DR save in HAL Clock Interrupt (and fix build). - Add debug message to fs_rec driver to analyse why it's trying to allocate 4GB of non paged memory.