[Vieira]

For two reasons: First they created a "supported" image that had no IgnorePkg = linux as it should since they don't support upgrading the kernel. They did this on their Ubuntu image. They failed to it with the Arch image. Second, you have no access to the kernel that is used to boot the system. Even after upgrading system kept booting the old kernel but network was still down. Nothing a user can do at this point.