Hello, I have added a link to the K42 wiki page describing how to build and boot K42 specifically for Mambo. These instructions have been useful for us at the University of New Mexico and they may be helpful to others as well :) Thanks, Edgar.