* Adjust the SDRAM refresh interval based on the temperature. This addresses the gap in performance between the 8GB and 4GB variants. See https://github.com/raspberrypi/firmware/issues/1854 * Preliminary support for signed boot