Edit: Wow, quick response there! Thanks for the pointers guys, looks like the dbginfo +packages are there, just take a bit to get to. I had installed the dbg packages (or at +least some of them, the ones that I saw with apt-cache search dbg that were relevant), but +there wasn’t coverage for some packages — in particular the x server. I’m +going to try Travis’s suggestion, thanks!