[PATCH] VGA arbitration: draft of kernel side

[Benjamin Herrenschmidt]

Minus the big fat ugly bug of scheduling with a spinlock in vga_get() of
course ... bah. Easy to fix tho. I'll post a new version later.

Ben.