x86, uv: Add serial number parameter to uv_bios_get_sn_info()