Fix kernel make file, comment out ldr check, change restore_r8