Pending x86 patches

Hi Bin,

At present I have a lot of x86 patches pending, such that it is very difficult to make further progress.

I'd like to suggest that we get these into a 'next' branch ASAP so I can finalise the coral ACPI support.

I'm happy to do this if you are busy. If there are review comments we can squash them in before applying to master.

Regards, Simon