int6kboot 56 KB