Merge pull request #3093 from c-po/kernel-T2447
T2447: add configurable kernel boot option 'disable-power-saving'