The breadboard/birds nest from the last post is now a shiny PCB - it just needs a box... and bit more programming. Three LEDs and a switch have been added but I haven't decided what they are for yet. Errors, probably.
To recap; the Arduino controls power to the Raspberry Pi via latched relay. Once the Rpi is up the Arduino just listens for commands on the I2C bus - such as measuring Vin, or controlling the pretty lights or killing the power.The Mosfet 'drivering' the IR LED array is directly controlled by the RPi GPIO. There's a real time clock on the I2C bus too. That's about it really.