Tidy the `xrt_device.h` file to make sure the destroy function is the last
function on the device.