bootsplash rocks!!, sorry
pcie_portdrv_probe->Dev[02fb:10de] has invalid IRQ. Check vendor BIOS
Now this goes way above my head but I do know my bios has no options for tweaking IRQ's.
(On Ubuntu and Debian) Change /etc/init.d/keymap.sh and /etc/init.d/console-screen.sh like:
#!/bin/sh
pidof splashy > /dev/null && exit 0