Joseph: kernel 3.5.0-44_3.5.0-44.67~lp1245938v2Patched works ok!
Thomas: apparently the only way to boot some kernels is installing the "extra" package. For some other kernels this isn't required.
Joseph: kernel 3.5.0-44_ 3.5.0-44. 67~lp1245938v2P atched works ok!
Thomas: apparently the only way to boot some kernels is installing the "extra" package. For some other kernels this isn't required.