Should be empty queue always has 1 item no matter how many times receive is called

[adamds]

I’ve reproduced that change (default uart) locally, however I still used usbserial for debugging output. That combination of things worked here. Have you tried the chinglee SMP kernel variant?