int6kboot 51 KB