[PATCH 170/171] Correct SPL uses of XEN_SERIAL