kernel option to prevent CTRL+ALT+DEL



Hi,
I'd like to be able to prevent users (some of whom have access to
my server.._physical_ access, I mean) from doing CTRL+ALT+DEL. A
Linux machine I used once had this... can someone tell me what I
put into the kernel config file to do this?
Thanks.
.