01-30-2020, 10:02 PM
Well, it seems like even upgrading to 4.19 is fruitless because the linux-headers for 4.19 can't be downloaded because they can't be found. Any updates to the kernels revert to 4.15 although uname -r shows 4.19.0.