This commit adds some functions for sending RC5 signals. The main
thread uses these functions to send the TV power off signal continuously
after booting. The timings are supposed to match the RC5 standard, but
the carrier is 38 kHz because I don't know. The TV seems to like what
I'm sending it, so I'm not worried.