Fix mako kernel build and no boot with the current flags
Signed-off-by: Paul Beeler <sparksco@gmail.com>