Commit ba9967d6 authored by Andreas Marek's avatar Andreas Marek

Also put 256bit 4hv kernel in unfied file

parent 135e3732