scripts/update-linux-headers: Handle __aligned_u64