A puppet module to manage the debian aacraid kernel driver (module)