Add ipop options to pragma_boot
Fix typo
Fix typo
Modified to intialize IPOP on IPOP-enabled image
Temporary fix -- add -x to print out more logging