Use SiMaROM prebuilt mako kernel (credits:Martin_ro)