I had to add lines to the grub kernel parameters; here is what my grub.conf file looks like. It has improved battery life, fan is less frantic and tempt read as low as 38.5'C (at rest, like writing this post in FF) to max 65-70 on heavy CPU load. At rest, the palm rests are also very cool to handle, making using Ubuntu a pleasure, again. The acpi_osi=Linux edit was needed to make the Fn key make screen brightness work.
Hope someone finds this useful.
So here is the grub.conf file
To edit that file do this:
# If you change this file, run 'update-grub' afterwards to update
# For full documentation of the options in this file, see:
# info -f grub -n 'Simple configuration'
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="i915.i915_enable_rc6=1 i915.i915_enable_fbc=1 quiet splash pcie_aspm=force "
# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
# Uncomment to disable graphical terminal (grub-pc only)
# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
# Uncomment to disable generation of recovery mode menu entries
# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"
then edit the file as above (red font), then do not forget to apply the settings by updating grub, like so then reboot.
sudo gedit /etc/default/grub