core86: Do all other fancy kernel updating stuff