With the current EFI configuration in Antergos the kernel and initranfs are updated properly by pacman so no additional action is needed from the user. Let me know if you have any questions. Welcome to Antergos, btw