I have been trying to get this to work for some time now.  I have followed 
this upgrade guide and modified my 

/etc/hal/fdi/policy/10-xinput-configuration.fdi

to include 

<merge key="input.xkb.options" type="string">terminate:ctrl_alt_bksp</merge>

This didn't work, so I looked further and found out that the input.xkb.options 
is deprecated and instead I should use:

<merge key="input.x11_options.XkbOptions" 
type="string">terminate:ctrl_alt_bksp</merge>

as detailed in here:  

http://cgit.freedesktop.org/xorg/xserver/tree/config/x11-input.fdi

Anyway, neither will work.  Is there any other syntax I should try, or is 
perhaps 10-xinput-configuration.fdi the wrong file for this?
-- 
Regards,
Mick