Update aki kernel mappings so we don't need to use a custom kernel