Add __init markings to 'krait vmin' functions

These functions are only called during boot and can be safely
discarded after.