Comment 57 for bug 8497

Sometimes it helps to engage brain before putting mouth into gear!

In my edd module-build instructions above I forgot two things:

1. libx86 is for user-space applications; no involvement in the kernel (was thinking about vbetool at the time I typed that!)
2. The built module can't be modprobe-d since the Symbol.map will be different

So you will need to install the custom-kernel-image packages and boot to that kernel to use EDD.