Working with GPIO overlay to get button presses via gpio-keys on Radxa Zero

Unfortunately, the last word we have is that gpio-keys can’t be used on this hardware. You have to use gpio-keys-polled: Zero interrupts