Compiling Kitten

Kitten requires a 64-bit version of Palacios, so make sure that Palacios has been correctly compiled before compiling Kitten. The current default for Palacios is 64 bit.