Linux Kernel Resource Allocation in Virtualized Environments