minor fix on the boot system 

needed to get rid of the procid int