i dont think bootmenu is needed just need to flash that kernel from what i gather of the posts in said forum