Some tune of X11; update boot-entries script