If the user gave an alignment explicitly, keep it as an explicit alignment even
if it is the same as the ABI alignment. Based on a patch by Peter Collingbourne.