asm/user.h gone AWOL?