fix some ION stuff - now kernel boots