[Systems] Bender fixed

[Bernie Innocenti]

With the help of a local Develer sysadmin, I could finally fix the
problem which was preventing the new kernel from booting on bender.

-- 
   // Bernie Innocenti - http://codewiz.org/
 \X/  Sugar Labs       - http://sugarlabs.org/