I've had this laptop for some years now and I don't remember why it has the ~~derpy~~ cute Tux, but I think it's the default one. https://www.tuxedocomputers.com/en/Individual-Keyboards.tuxedo

For anyone interested, this is a tuxedo laptop