novena: Set up external SD card support

This adds support for reading data off the external SD card during boot.