This R4 is a DSTT clone.
As a matter of fact, you can run their kernel directly on a real DSTT as is. It's actually YSMenu and Moonshell with a special front end loader.
I would suggect to just download as use the DSTT v1.17a12 kernel, or a YSMenu build made out of it. Both are easy enough to skin.
If you really wanted to use the kernel download from r4-v.com , just get whatever YSMenu skins you like and put them in the SYSTEM folder. You will need to rename them.......
YSMenu1.bmp -> FRAMEUP.CCC
YSMenu1.bmp -> FRAMEBT.CCC