Minor header cleanups and ASM compatibility#2019

kilograham merged 4 commits intodevelopraspberrypi/pico-sdk:developfrom

header_cleanupraspberrypi/pico-sdk:header_cleanupCopy head branch name to clipboard