This is a work in progress, that only works on i386 for now. TODO: revisit packaging, port to other arches, change the name, make sure the gcc config is right.