This bug was fixed in the package flash-kernel - 3.0~rc.4ubuntu45
--------------- flash-kernel (3.0~rc.4ubuntu45) trusty; urgency=low
* bootscr.highbank: allow more space to load larger kernels (LP: #1250495) -- Adam Conrad <email address hidden> Wed, 11 Dec 2013 03:48:23 -0700
This bug was fixed in the package flash-kernel - 3.0~rc.4ubuntu45
---------------
flash-kernel (3.0~rc.4ubuntu45) trusty; urgency=low
* bootscr.highbank: allow more space to load larger kernels (LP: #1250495)
-- Adam Conrad <email address hidden> Wed, 11 Dec 2013 03:48:23 -0700