boot settings adapted for new grub thematization
updated for trusty