Disabling HDMI when booting from microSD

So, this caused me a little bit of a headache. I needed to release a few GPIO pins on the Beaglebone Black and as I'm not using (or going to use) HDMI on the board, it seemed a bit of a waste to have a chunk of pins reserved for...