kernel - Make the x86-64 double-fault exception operational