[21:29] <luc4> Hello! I'm trying to build a Ubuntu kernel for the raspberry pi. I'm getting this: https://pastebin.com/jUnx28ce. Any idea why and/or how to fix it? I see some params but I'm not sure where to pass those.