kernel/drivers/*/config.h: increase maximum number of devices

This closes issue #2
kernel/lib/*/pciDriver_Capi.c: fix bad indentation