GalaxyNexusSerialConsole

When you connect the cable you get the FIQ debugger, but what if you want kgdb instead:

Verify that you get the kernel messages.

Then change the cmdline for kgdb