get system serial number
From cpwiki.net
this is usefull when opening support tickets with check point.
serial number:
# dmidecode | grep -A 10 "System Information" | grep "Serial Num"
