After some more testing, it looks like the crash only occurs when Debian is running in a VirtualBox VM, whose host is itself running on an older Core 2 Duo processor. I’m guessing this is more of a VirtualBox bug, which fails to properly emulate some CPU debug feature on older processors.
