Enable additional push buffer debugging

configname: CONFIG_NOUVEAU_DEBUG_PUSH

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Enable additional push buffer debugging
In linux kernel since version 4.14.326 (release Date: 2023-09-23)  
Say Y here if you want to enable verbose push buffer debug output
and sanity checks.