I don't think it's in violation of GPL. After all, HP did release whatever they did modification to the kernel and some stuff. The only source closed ones are their tools that are used to modify it.
GPL said you have to release source if you modify the GPL stuff. You do not have to release source if your program is made to work with GPL stuff and do not make use of GPLed codes ( Opera for example ).