[ros-diffs] [ion] 23637: - Delete bios.c and usertrap.c - Add Ke entries to KernelFun!