Oh... I was under the impression that the mach_kernel could only be edited from the OSX install screen and not the pre-boot iBoot menu. So you're saying I can go into, say, my ubuntu partition and run the commands listed in the post you linked me to, and then boot from the USB?