This fixes a couple of issues with older Linux kernels (that expect an XSDT as