I recently received a Librem 13v3, and I have updated to Coreboot to 4.8.1, and have TPM enabled (was enabled by default). I would like to verify Heads came installed/configured on the laptop, and/or figure out how to get Heads installed. Is there an easy way to do this?