https://gist.github.com/franga2000/2154d09f864894b8fe84
which works with ubuntu but not Porteus, and then this:
http://askubuntu.com/questions/392719/3 ... ot-support
I have tried these instructions and they do work for ubuntu, but sadly, not Porteus. It's probably the bootia32.efi, so I was wondering if anyone could help me out on this? I know next time I buy a netbook I'm gonna do some research first...

I have also tried 64-bit EFI but that hasn't worked either.. but i tried just in case

EDIT: It is a 64-bit system, just wanted to make that clear :p