Update TODO list for mini-os arm port