Cabeçalhos de kernel limpos para uso em espaço de usuário (aarch64-linux-gnu)
