[PATCH 0/3] Fix kernel WARNING in TTM/Bochs KMS driver