If I understand what Seth is saying (after reading the link to the git site) you don't need to enable the BIOS because the kernel will do it for you provided it is a pae kernel. Best Wishes Maurice