Terminal servers?
Hopefully most of their applications are provided using terminal servers etc. so the data is in a physically-secure place (no laptops to be pinched or left in taxis). There is no reason why NHSbuntu couldn't be used as a thin client in this case regardless of which OS is used in the backend.