Error making the patched kernel on ubuntu 12.04