Fix microblaze/release/options-kernel.conf for more suitable
Fix microblaze/release/options-kernel.conf for more suitable

(the latest version is not up-to date)

May be some problems with timer.h and timer.c. - may be they need to
be corrected.
Kakadu/embox,vrxfile/embox-trik,Kefir0192/embox,mike2390/embox,mike2390/embox,gzoom13/embox,mike2390/embox,Kefir0192/embox,abusalimov/embox,Kakadu/embox,mike2390/embox,embox/embox,gzoom13/embox,gzoom13/embox,abusalimov/embox,Kakadu/embox,vrxfile/embox-trik,vrxfile/embox-trik,vrxfile/embox-trik,embox/embox,embox/embox,abusalimov/embox,mike2390/embox,vrxfile/embox-trik,gzoom13/embox,Kefir0192/embox,Kakadu/embox,embox/embox,Kefir0192/embox,embox/embox,Kakadu/embox,mike2390/embox,gzoom13/embox,mike2390/embox,abusalimov/embox,abusalimov/embox,Kefir0192/embox,vrxfile/embox-trik,Kefir0192/embox,abusalimov/embox,gzoom13/embox,gzoom13/embox,vrxfile/embox-trik,Kakadu/embox,Kefir0192/embox,Kakadu/embox,embox/embox