nexus sim: Bring in more nexus config changes - Adjust IRQ numbers for SMC mailbox - Tweak memory to the actual FPGA size - Add debug tags Change-Id: I26e1c3c2dfdf8a4350670b34aae811dc64b52e4f