x86: use k modifier for 4-byte access.