The L3 premium license is NOT needed to use the IPsec module, but an issue with the 8.0.80 release means that the commands are not visible without it and this needs to be fixed.
The workaround is to enable the L3 license until the fix is available. (Note that you should be using the L3 image already to allow the IPsec configuration).