(Core) (bsmiles32 backport) Prefer __asm__ instead of asm in header.