Raph800? Take of your battery and it should say what it is.. if it isn't the raph 800 you need to get the other start up txt file... Download the Aio file from page 1and get it from in their
Good Luck!!
EDIT 1: A couple messages up theirs the kernels and build link get it from their