Swap out the GI kernel, swap in the default... Seems like it's upset about the missing mux card but otherwise happy. Ish.