gdb_monitor: increase RAM quotas in run scripts

Fixes #685.
l4linux.run: Increase quote of PCI driver