Well, even that might be enough to at least confirm my suspicion. I think in order to get the information I need, though, I'd have to get the kernel to log it somehow, as I probably need to know this information directly from power-on.