ssdt generated with ssdtprgen 9.5