Gracias ManoNegra, con la descripcion que me has dado (y un poquito de busqueda en google) he logrado obtener el serial desde linux. Por si a alguien mas le es de utilidad, lo obtuve usando el comando siguiente desde la terminal linux:
sudo cat /sys/firmware/acpi/tables/MSDM
Nuevamente gracias por tu apoyo.