x86: Slightly tweak the access_ok() C variant for better code