Updates to build nabi kernel

Here ya go Mike