Oh? I'll have to see if I can boot 18.04 on an old laptop I found. I think it was one of those mismatched efi vs arch things (32bit boot, 64bit cpu ?) - and las

Oh? I'll have to see if I can boot 18.04 on an old laptop I found. I think it was one of those mismatched efi vs arch things (32bit boot, 64bit cpu ?) - and last time I couldn't get it to boot... Maybe I can just run it as 32bit...