@astrojuanlu I think that my sleep problem MIGHT be fixed in a top of tree kernel but the information about which kernel I'd need to get or how to do it without disrupting my existing Linux system is… inadequate