(In reply to Tony Mechelynck from comment #4) > Oops, bad memory. There is no kernel-default anymore. Please disregard > comment #1. s/-default/-desktop/ Looks like I need either some coffee or some sleep.