AriaG25 defconfig adjusted
First steps at RTLinux kernel support added; doesn't work yet