TAG: install kernel without pc

No entry